Merged code tree with Dave Evans's version. Many changes to numberous to list....

[splint.git] / src / Headers / flags.h

diff --git a/src/Headers/flags.h b/src/Headers/flags.h
index 3d8df02877ee7e5e6ad3203e8b2160ac33d404ba..17b2d61cd2d8c5dee4ddc1d4e22bb67cf90581ef 100644 (file)
--- a/src/Headers/flags.h
+++ b/src/Headers/flags.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
 ** See ../LICENSE for license information.
 **
 */
@@ -15,13 +15,13 @@ typedef enum
   FK_EXPOSURE, FK_FORMAT, FK_GLOBAL, FK_GLOBALS, FK_HEADERS,
   FK_HELP, FK_IGNORERET, FK_INIT, FK_ITER, FK_LIBS, FK_LIMITS,
   FK_MACROS, FK_MEMORY, FK_MODIFIES, FK_NAMES, FK_NONE,
-  FK_NULL, FK_OPS, FK_PRED, FK_PREPROC, FK_SECRET,
+  FK_NULL, FK_NT, FK_OPS, FK_PRED, FK_PREPROC, FK_SECRET,
   FK_SUPPRESS, FK_SYNTAX, FK_TYPE, FK_TYPEEQ, FK_NUMBERS, 
   FK_POINTER, FK_UNRECOG, FK_USE, FK_BOOL, FK_ALIAS, 
   FK_PROTOS, FK_SPEC, 
   FK_IMPLICIT, FK_FILES, FK_ERRORS, FK_UNSPEC, 
-  FK_SPEED, FK_PARAMS, FK_DEAD, 
-  FK_LEAK, FK_ARRAY, FK_OBSOLETE, FK_PREFIX
+  FK_SPEED, FK_PARAMS, FK_DEAD, FK_SECURITY,
+  FK_LEAK, FK_ARRAY, FK_OBSOLETE, FK_PREFIX, FK_WARNUSE
 } flagkind;
 
 extern void listAllCategories (void);
@@ -38,24 +38,22 @@ extern flagcode identifyFlag (cstring p_s);
 extern void setValueFlag (flagcode p_opt, cstring p_arg);
 extern void setStringFlag (flagcode p_opt, /*@only@*/ cstring p_arg);
 
-extern /*@observer@*/ cstring flagcode_name (flagcode p_code) /*@*/ ;
+extern /*@observer@*/ cstring flagcode_unparse (flagcode p_code) /*@*/ ;
 extern int flagcode_valueIndex (flagcode p_f) /*@*/ ;
 extern int flagcode_stringIndex (flagcode p_f) /*@*/ ;
-extern /*@observer@*/ cstring flagcode_unparse (flagcode p_f) /*@*/ ;
-# define flagcode_unparse flagcode_name
 
 extern /*@observer@*/ cstring flagcodeHint (flagcode p_f);
 
 extern flagkind identifyCategory (cstring p_s) /*@*/ ;
 extern void printCategory (flagkind p_kind) /*@modifies g_msgstream@*/ ;
 
-extern bool flagcode_isInvalid (flagcode p_f);
+extern bool flagcode_isInvalid (flagcode p_f) /*@*/ ;
 # define flagcode_isInvalid(f) ((f) == INVALID_FLAG)
 
-extern bool flagcode_isSkip (flagcode p_f);
+extern bool flagcode_isSkip (flagcode p_f) /*@*/ ;
 # define flagcode_isSkip(f) ((f) == SKIP_FLAG)
 
-extern bool flagcode_isValid (flagcode p_f);
+extern bool flagcode_isValid (flagcode p_f) /*@*/ ;
 # define flagcode_isValid(f) ((f) != INVALID_FLAG)
 
 extern bool flagcode_isPassThrough (/*@sef@*/ flagcode p_f);
@@ -68,6 +66,10 @@ extern bool flagcode_isLibraryFlag (/*@sef@*/ flagcode p_f);
     || (f) == FLG_STRICTLIB || (f) == FLG_NOLIB \
     || (f) == FLG_ANSILIB)
 
+extern bool flagcode_isWarnUseFlag (/*@sef@*/ flagcode p_f);
+# define flagcode_isWarnUseFlag(f) \
+   ((f) == FLG_BUFFEROVERFLOW || (f) == FLG_BUFFEROVERFLOWHIGH)
+
 extern bool flagcode_hasValue (flagcode p_f);
 extern bool flagcode_hasString (flagcode p_f);
 extern bool flagcode_hasArgument (flagcode p_f);