]> andersk Git - splint.git/blobdiff - src/context.c
Fixed bug in string initialization checking.
[splint.git] / src / context.c
index 5a865257039792275d516abaadcb1f44d55fea3d..6df5dde47519fd6b84355436801a6a9b82e31192 100644 (file)
@@ -1136,6 +1136,7 @@ context_setModeAux (cstring s, bool warn)
          FLG_UNCHECKEDGLOBALIAS,
          FLG_FORMATCONST,
          FLG_STRINGLITNOROOM,
+         FLG_STRINGLITNOROOMFINALNULL,
          FLG_STRINGLITSMALLER,
           FLG_EXITARG, FLG_PTRNUMCOMPARE, 
          FLG_BOOLCOMPARE, FLG_UNSIGNEDCOMPARE, 
@@ -1231,6 +1232,7 @@ context_setModeAux (cstring s, bool warn)
          FLG_MACROMATCHNAME,
          FLG_FORMATCONST,
          FLG_STRINGLITNOROOM,
+         FLG_STRINGLITNOROOMFINALNULL,
          FLG_STRINGLITSMALLER,
          FLG_STATETRANSFER, FLG_STATEMERGE,
           FLG_MACROUNDEF, FLG_MUTREP, FLG_MUSTMOD,
This page took 0.048622 seconds and 4 git commands to generate.