Updating for cert move

[splint.git] / src / cscanner.l

diff --git a/src/cscanner.l b/src/cscanner.l
index 1cb34c9d892fe950bd52ecf8201387c54ffdf49c..ae40852a0c7fb01c4772f226c781f1df63ebc460 100644 (file)
--- a/src/cscanner.l
+++ b/src/cscanner.l
@@ -302,6 +302,8 @@ static void setTokLengthT (size_t len)
 "undef"                 { return (processSpec (QUNDEF)); }
 "killed"                { return (processSpec (QKILLED)); }
 "nullterminated"        { return (processSpec (QNULLTERMINATED));}
+"MaxSet"                { return (processSpec (QMAXSET));}
+"MaxRead"                { return (processSpec (QMAXREAD));}
 
 {Letter}({Letter}|{Digit})* { int tok; 
                              context_saveLocation (); 
@@ -563,6 +565,8 @@ struct skeyword s_parsetable[] = {
   { "pre", QPRECLAUSE } ,
   { "post", QPOSTCLAUSE } ,
   {"setBufferSize", QSETBUFFERSIZE},
+  {"bufferConstraint", QBUFFERCONSTRAINT},
+  {"ensuresConstraint", QENSURESCONSTRAINT},
   {"setStringLength", QSETSTRINGLENGTH},
   {"testinRange", QTESTINRANGE},
   { NULL, BADTOK }
@@ -609,7 +613,11 @@ struct skeyword s_keytable[] = {
   { "relnull", QRELNULL } ,
   { "nullterminated", QNULLTERMINATED }, 
   { "setBufferSize", QSETBUFFERSIZE },
+  { "bufferConstraint", QBUFFERCONSTRAINT },
+  { "ensuresConstraint", QENSURESCONSTRAINT },
   { "testInRange", QTESTINRANGE},
+  { "MaxSet", QMAXSET},
+  { "MaxRead", QMAXREAD},
   { "reldef", QRELDEF } ,
   { "observer", QOBSERVER } ,
   { "exits", QEXITS } ,