*** empty log message ***

[splint.git] / src / cscanner.l

diff --git a/src/cscanner.l b/src/cscanner.l
index 6fe8712cc94b80e922cd02b33fb8a30e88cfedbc..66405dbef74315b8c27c8c1d9f2480ba7809b39e 100644 (file)
--- a/src/cscanner.l
+++ b/src/cscanner.l
@@ -310,7 +310,9 @@ L\"(\\.|[^\\"])*\"([ \t\n]*\"(\\.|[^\\"])*\")* { RETURN_EXPR (processString ());
 "killed"                { return (processSpec (QKILLED)); }
 "nullterminated"        { return (processSpec (QNULLTERMINATED));}
 "MaxSet"                { return (processSpec (QMAXSET));}
-"MaxRead"                { return (processSpec (QMAXREAD));}
+"MaxRead"               { return (processSpec (QMAXREAD));}
+"maxSet"                { return (processSpec (QMAXSET));}
+"maxRead"               { return (processSpec (QMAXREAD));}
 
 {Letter}({Letter}|{Digit})* { int tok; 
                              context_saveLocation (); 
@@ -1310,7 +1312,7 @@ static bool processMacro (void)
                      
                      uentry_showWhereSpecified (e2);
                      uentry_setType (e2, ctype_unknown);
-                     uentry_makeVarFunction (e2);
+                     uentry_makeConstantFunction (e2);
                      uentry_setDefined (e2, g_currentloc);
                      uentry_setFunctionDefined (e2, g_currentloc);
                      context_enterUnknownMacro (e2); 
@@ -2528,7 +2530,7 @@ static int processIdentifier (cstring id)
                    }
                  else
                    {
-                     TPRINTF (("Not meta state name: %s", cstring_toCharsSafe (id)));
+                     DPRINTF (("Not meta state name: %s", cstring_toCharsSafe (id)));
                    }
                }