Fixed bug in string initialization checking.

[splint.git] / src / flags.def

diff --git a/src/flags.def b/src/flags.def
index a710d67d8ba543875672efa2a3191c769f99c633..3b0295935a6a0f71155ce24266cebbda31c97a86 100644 (file)
--- a/src/flags.def
+++ b/src/flags.def
@@ -3544,6 +3544,14 @@ static flaglist flags =
     "A string literal is assigned to a char array too small to hold it.",
     0, 0
   },
+  {
+    FK_TYPE, FK_NONE, modeFlag,
+    "stringliteralnoroomfinalnull",
+    FLG_STRINGLITNOROOMFINALNULL,
+    "string literal leaves no room for null terminator",
+    "A string literal is assigned to a char array that is not big enough to hold the final null terminator.  This may not be a problem because a null character has been explictedly included in the string literal using an escape sequence",
+    0, 0
+  },
   {
     FK_TYPE, FK_NONE, modeFlag,
     "stringliteralnoroom",