- use build time to choose one of multiple alternative suggestions.

- add --nosuggests to disable suggested resolutions.
- splint fiddles.

CVS patchset: 5406
CVS date: 2002/04/14 21:48:44

1 files changed, 1 insertions, 1 deletions

diff --git a/system.h b/system.h
index 45a6c154e..00594a125 100644
--- a/system.h
+++ b/system.h
@@ -162,7 +162,7 @@ char *realpath(const char *path, char resolved_path []);
 
 #if defined(__LCLINT__)
 /*@-declundef -incondefs @*/ /* LCL: missing annotation */
-/*@only@*/ void * alloca (size_t __size)
+/*@only@*/ /*@out@*/ void * alloca (size_t __size)
 	/*@ensures MaxSet(result) == (__size - 1) @*/
 	/*@*/;
 /*@=declundef =incondefs @*/