Merged code tree with Dave Evans's version. Many changes to numberous to list....

[splint.git] / src / cppexp.c

diff --git a/src/cppexp.c b/src/cppexp.c
index b74938f04fbf005737f87f803607012f887f7a70..6f172f748b8dcd4cfcc7464c3a348c4005c7a1fc 100644 (file)
--- a/src/cppexp.c
+++ b/src/cppexp.c
@@ -1,6 +1,6 @@
 /*
 ** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2000 University of Virginia,
+** Copyright (C) 1994-2001 University of Virginia,
 **         Massachusetts Institute of Technology
 **
 ** This program is free software; you can redistribute it and/or modify it
@@ -368,6 +368,7 @@ cppReader_parseNumber (cppReader *pfile, char *start, int olen)
   
   if (overflow)
     {
+      /*@i23 add flags for all these...*/
       cppReader_pedwarnLit
        (pfile, 
         cstring_makeLiteralTemp ("Integer constant out of range"));
@@ -1242,11 +1243,13 @@ cppReader_parseExpression (cppReader *pfile)
                }
              /*@switchbreak@*/ break;
            default:
+             /*@-formatconst@*/
              fprintf (stderr,
                       top[1].op >= ' ' && top[1].op <= '~'
                       ? "unimplemented operator '%c'\n"
                       : "unimplemented operator '\\%03o'\n",
                       top[1].op);
+             /*@=formatconst@*/
            }
        }
       if (op.op == 0)