Fixed problem with resetting null state after error for constants.

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index 1bba23bc5cacc762046b5d39124fc5e7084d6136..c52720b9bf4922d42d502bd9f292879b072f0088 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -1845,7 +1845,6 @@ static flaglist flags =
     "A possibly non-nullterminated string/memory is used/referenced as a nullterminated one.",
     0, 0
   },
-
   {
     FK_BOUNDS, FK_MEMORY, specialFlag,
     "bounds",
@@ -1853,6 +1852,22 @@ static flaglist flags =
     "memory bounds checking (sets boundsread and boundswrite)",
     "Memory read or write may be out of bounds of allocated storage.", 0, 0
   },
+  {
+    FK_BOUNDS, FK_MEMORY, modeFlag,
+    "literaloversize",
+    FLG_LITERALOVERSIZE,
+    "string literal is too large for allocated array",
+    "String literal is too large for allocated array.", 0, 0
+  },
+  {
+    FK_BOUNDS, FK_MEMORY, modeFlag,
+    "literalundersize",
+    FLG_LITERALUNDERSIZE,
+    "string literal is smaller than allocated array (space may be wasted)",
+    "More storage is allocated for a string literal than the length of the literal. "
+    "If the array is not set later, this is a waste of storage.",
+    0, 0
+  },
   {
     FK_BOUNDS, FK_MEMORY, plainFlag,
     "boundsread",