If checking mostly works. Boolean expression are handled.

[splint.git] / src / cgrammar.tab.h

diff --git a/src/cgrammar.tab.h b/src/cgrammar.tab.h
index de5fcd338e739008a77b321589ac1d90631cca58..de3bb7987cf30862f8afdf3f96908577f092b498 100644 (file)
--- a/src/cgrammar.tab.h
+++ b/src/cgrammar.tab.h
@@ -195,15 +195,18 @@ typedef union
 #define        QSIGNEDINTEGRALTYPE     429
 #define        QNULLTERMINATED 430
 #define        QSETBUFFERSIZE  431
-#define        QSETSTRINGLENGTH        432
-#define        QTESTINRANGE    433
-#define        IDENTIFIER      434
-#define        NEW_IDENTIFIER  435
-#define        TYPE_NAME_OR_ID 436
-#define        CCONSTANT       437
-#define        ITER_NAME       438
-#define        ITER_ENDNAME    439
-#define        TYPE_NAME       440
+#define        QBUFFERCONSTRAINT       432
+#define        QSETSTRINGLENGTH        433
+#define        QMAXSET 434
+#define        QMAXREAD        435
+#define        QTESTINRANGE    436
+#define        IDENTIFIER      437
+#define        NEW_IDENTIFIER  438
+#define        TYPE_NAME_OR_ID 439
+#define        CCONSTANT       440
+#define        ITER_NAME       441
+#define        ITER_ENDNAME    442
+#define        TYPE_NAME       443
 
 
 extern YYSTYPE yylval;