*** empty log message ***

[splint.git] / src / flags.c

diff --git a/src/flags.c b/src/flags.c
index 37ea7e003a4577bca53088592268fea364cc9584..9b5d4cda7029113410cd687af8d1651775063f63 100644 (file)
--- a/src/flags.c
+++ b/src/flags.c
@@ -637,6 +637,11 @@ void printAlphaFlags ()
 /*@observer@*/ cstring
 flagcode_unparse (flagcode code)
 {
+  if (code == INVALID_FLAG)
+    {
+      return cstring_makeLiteralTemp ("<invalid flag>");
+    }
+
   return cstring_fromChars (flags[code].flag);
 }