X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11ed4f45e321c24d9340dc277c54e1d2c9cd0046..a0a162cdc5db4d998824629e9f4d370b9b68df56:/src/flags.def

diff --git a/src/flags.def b/src/flags.def
index 2ac6865..c54f467 100644
--- a/src/flags.def
+++ b/src/flags.def
@@ -3,8 +3,9 @@
 ** flags.def
 **
 ** This file is used to generate the flag header files.
+**
+** Don't forget to regenerate flag_codes.gen. (lost the Makefile...bleech!)
 */
-
 		 	     /* spec   idem   global  mode  args */
 /*@-namechecks@*/
 /*@notfunction@*/
@@ -52,6 +53,7 @@
 */
 
 static flaglist flags = {	
+  /* Deprecated 
 {	
   FK_ABSTRACT, FK_BOOL, plainFlag,
   "bool",
@@ -59,6 +61,7 @@ static flaglist flags = {
   "boolean type is abstract",
   NULL, 0, 0
   },
+  */
 {
   FK_BOOL, FK_HELP, plainFlag,
   "likelybool",
@@ -1358,7 +1361,7 @@ static flaglist flags = {
   FK_IGNORERET, FK_BOOL, modeFlag,
   "retvalbool",
   FLG_RETVALBOOL,
-  "return value of type bool ignored",
+  "return value of manifest type bool ignored",
   "Result returned by function call is not used. If this is intended, "
 	"can cast result to (void) to eliminate message.",
   0, 0
@@ -3297,6 +3300,13 @@ NULL, NULL,
   "0 is treated as a pointer",
   NULL, 0, 0
   },
+{
+  FK_TYPEEQ, FK_BOOL, modeFlag,
+  "zerobool",
+  FLG_ZEROBOOL,
+  "0 is treated as a boolean",
+  NULL, 0, 0
+  },
 {
   FK_UNRECOG, FK_DISPLAY, plainFlag,
   "repeatunrecog",
