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 d70e18cbd34a149aa9129a14c2e6543aae2703b0..17b2d61cd2d8c5dee4ddc1d4e22bb67cf90581ef 100644 (file)
--- a/src/Headers/flags.h
+++ b/src/Headers/flags.h
@@ -1,20 +1,7 @@
 /*
-** Copyright (c) Massachusetts Institute of Technology 1994-1998.
-**          All Rights Reserved.
-**          Unpublished rights reserved under the copyright laws of
-**          the United States.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** See ../LICENSE for license information.
 **
-** THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED
-** OR IMPLIED.  ANY USE IS AT YOUR OWN RISK.
-**
-** This code is distributed freely and may be used freely under the 
-** following conditions:
-**
-**     1. This notice may not be removed or altered.
-**
-**     2. Works derived from this code are not distributed for
-**        commercial gain without explicit permission from MIT 
-**        (for permission contact lclint-request@sds.lcs.mit.edu).
 */
 # ifndef FLAGS_H
 # define FLAGS_H
@@ -33,8 +20,8 @@ typedef enum
   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);
@@ -51,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);
@@ -81,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);