changed PLUS to BINARYOP_PLUS

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index e9626b939471b755ee8eb0677a51e5c259bc7e95..8c63e8f8da147aa5b31cf29cfa05c621ac6b54e5 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -2810,14 +2810,42 @@ static flaglist flags =
     "LCLint has determined that the following statement is true after the function,  ",
     0, 0
   },
+  
+  {
+    FK_NT, FK_MEMORY, modeFlag,
+    "parenconstraint",
+    FLG_PARENCONSTRAINT,
+    "parenthesize constraint term",
+    "This flag is for debugging.  This flag causes LCLint to fully parentheses constraints,  ",
+    0, 0
+  },
+
   {
     FK_NT, FK_MEMORY, modeFlag,
     "debugfcnconstraint",
     FLG_DEBUGFUNCTIONCONSTRAINT,
     "debuging constraint flas",
-    "This flag is for debuging.  It causes lclint to perform buffer overflow checking even if the error will be surpressed.  Normal buffer overflow checking will only be performed if errors would be printed. ",
+    "This flag is for debuging.  It causes lclint to perform buffer overflow checking even if the errors would be surpressed.  Normally buffer overflow checking will only be performed if the errors would be printed. ",
+    0, 0
+  },
+  
+  {
+    FK_NT, FK_MEMORY, modeFlag,
+    "arraybounds",
+    FLG_ARRAYBOUNDS,
+    "Possible out-of-bounds store.  Unable to resolve constraint:",
+    "LCLint was unable to resolve a constraint at the top of the function.  If code is correct consider using explict annotation assertions,  ",
+    0, 0
+  },
+  {
+    FK_NT, FK_MEMORY, modeFlag,
+    "arrayboundsread",
+    FLG_ARRAYBOUNDSREAD,
+    "Possible out-of-bounds read.  Unable to resolve constraint:",
+    "LCLint was unable to resolve a constraint at the top of the function.  If code is correct consider using explict annotation assertions,  ",
     0, 0
   },
+
   {
     FK_NT, FK_MEMORY, modeFlag,
     "fcnconstraint",
@@ -2957,6 +2985,14 @@ static flaglist flags =
     "FLT_EPSILON or DBL_EPSILON.",
     0, 0,
   },
+  {
+    FK_OPS, FK_NONE, modeFlag,
+    "unsignedcompare",
+    FLG_UNSIGNEDCOMPARE,
+    "comparison using <, <=, >= between an unsigned integral and zero constant",
+    "An unsigned value is used in a comparison with zero in a way that is either a bug or confusing.",
+    0, 0,
+  },
   {
     FK_OPS, FK_POINTER, modeFlag,
     "ptrarith",
@@ -3692,6 +3728,22 @@ static flaglist flags =
     "Non-reentrant function should not be used in multithreaded code.",
     0, 0
   },
+  {
+    FK_WARNUSE, FK_SECURITY, modeFlag,
+    "portability",
+    FLG_PORTABILITY,
+    "function may have undefined behavior",
+    "Use of function that may have implementation-dependent behavior.",
+    0, 0
+  },
+  {
+    FK_WARNUSE, FK_SECURITY, modeFlag,
+    "unixstandard",
+    FLG_UNIXSTANDARD,
+    "function is not required in Standard UNIX Specification",
+    "Use of function that need not be provided by UNIX implementations",
+    0, 0
+  },
   {
     FK_WARNUSE, FK_SECURITY, modeFlag,
     "superuser",
@@ -3700,5 +3752,13 @@ static flaglist flags =
     "Call to function restricted to superusers.",
     0, 0
   },
+  {
+    FK_WARNUSE, FK_SECURITY, modeFlag,
+    "implementationoptional",
+    FLG_IMPLEMENTATIONOPTIONAL,
+    "declarator is implementation optional (ISO99 does not require an implementation to provide it)",
+    "Use of a declarator that is implementation optional, not required by ISO99.",
+    0, 0
+  }, 
 
 } ;