Added the code for setBufferSize and setStringLegnth annotations.

[splint.git] / src / lex.yy.c

diff --git a/src/lex.yy.c b/src/lex.yy.c
index 24eeda7141ecd7d673dc5da87b11eb2a9509874f..5d7296504ef79a36740c3808c3f2f882991e957c 100644 (file)
--- a/src/lex.yy.c
+++ b/src/lex.yy.c
@@ -1537,7 +1537,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 80:
 YY_RULE_SETUP
-#line 310 "cscanner.l"
+#line 311 "cscanner.l"
 { int tok; 
                              context_saveLocation (); 
                              setTokLength (longUnsigned_toInt (mstring_length (yytext))); 
@@ -1550,424 +1550,424 @@ YY_RULE_SETUP
        YY_BREAK
 case 81:
 YY_RULE_SETUP
-#line 319 "cscanner.l"
+#line 320 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                           RETURN_INT (ctype_int, processHex ());  /* evs 2000-05-17 was ctype_uint */
                        }
        YY_BREAK
 case 82:
 YY_RULE_SETUP
-#line 322 "cscanner.l"
+#line 323 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_INT (ctype_lint, processHex ()); }
        YY_BREAK
 case 83:
 YY_RULE_SETUP
-#line 324 "cscanner.l"
+#line 325 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_INT (ctype_llint, processHex ()); }
        YY_BREAK
 case 84:
 YY_RULE_SETUP
-#line 326 "cscanner.l"
+#line 327 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                           RETURN_INT (ctype_uint, processHex ()); }
        YY_BREAK
 case 85:
 YY_RULE_SETUP
-#line 328 "cscanner.l"
+#line 329 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_INT (ctype_ulint, processHex ()); }
        YY_BREAK
 case 86:
 YY_RULE_SETUP
-#line 330 "cscanner.l"
+#line 331 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_INT (ctype_ullint, processHex ()); }
        YY_BREAK
 case 87:
 YY_RULE_SETUP
-#line 332 "cscanner.l"
+#line 333 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_INT (ctype_ullint, processHex ()); }
        YY_BREAK
 case 88:
 YY_RULE_SETUP
-#line 334 "cscanner.l"
+#line 335 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_INT (ctype_int, processOctal ()); } 
        YY_BREAK
 case 89:
 YY_RULE_SETUP
-#line 336 "cscanner.l"
+#line 337 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_INT (ctype_uint, processOctal ()); } 
        YY_BREAK
 case 90:
 YY_RULE_SETUP
-#line 338 "cscanner.l"
+#line 339 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_INT (ctype_lint, processOctal ()); } 
        YY_BREAK
 case 91:
 YY_RULE_SETUP
-#line 340 "cscanner.l"
+#line 341 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_INT (ctype_llint, processOctal ()); } 
        YY_BREAK
 case 92:
 YY_RULE_SETUP
-#line 342 "cscanner.l"
+#line 343 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_INT (ctype_ulint, processOctal ()); } 
        YY_BREAK
 case 93:
 YY_RULE_SETUP
-#line 344 "cscanner.l"
+#line 345 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_INT (ctype_ullint, processOctal ()); } 
        YY_BREAK
 case 94:
 YY_RULE_SETUP
-#line 346 "cscanner.l"
+#line 347 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_INT (ctype_ullint, processOctal ()); } 
        YY_BREAK
 case 95:
 YY_RULE_SETUP
-#line 348 "cscanner.l"
+#line 349 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                         RETURN_INT (ctype_int, processDec ()); } 
        YY_BREAK
 case 96:
 YY_RULE_SETUP
-#line 350 "cscanner.l"
+#line 351 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                         RETURN_INT (ctype_uint, processDec ()); } 
        YY_BREAK
 case 97:
 YY_RULE_SETUP
-#line 352 "cscanner.l"
+#line 353 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                         RETURN_INT (ctype_lint, processDec ()); } 
        YY_BREAK
 case 98:
 YY_RULE_SETUP
-#line 354 "cscanner.l"
+#line 355 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                         RETURN_INT (ctype_llint, processDec ()); } 
        YY_BREAK
 case 99:
 YY_RULE_SETUP
-#line 356 "cscanner.l"
+#line 357 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                         RETURN_INT (ctype_ulint, processDec ()); } 
        YY_BREAK
 case 100:
 YY_RULE_SETUP
-#line 358 "cscanner.l"
+#line 359 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                         RETURN_INT (ctype_ullint, processDec ()); } 
        YY_BREAK
 case 101:
 YY_RULE_SETUP
-#line 360 "cscanner.l"
+#line 361 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                         RETURN_INT (ctype_ullint, processDec ()); } 
        YY_BREAK
 case 102:
 YY_RULE_SETUP
-#line 362 "cscanner.l"
+#line 363 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                          RETURN_CHAR (processChar ()); }
        YY_BREAK
 case 103:
 YY_RULE_SETUP
-#line 364 "cscanner.l"
+#line 365 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                         RETURN_FLOAT (ctype_float, processFloat ()); }
        YY_BREAK
 case 104:
 YY_RULE_SETUP
-#line 366 "cscanner.l"
+#line 367 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                         RETURN_FLOAT (ctype_ldouble, processFloat ()); }
        YY_BREAK
 case 105:
 YY_RULE_SETUP
-#line 368 "cscanner.l"
+#line 369 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                         RETURN_FLOAT (ctype_double, processFloat ()); }
        YY_BREAK
 case 106:
 YY_RULE_SETUP
-#line 371 "cscanner.l"
+#line 372 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                                RETURN_FLOAT (ctype_float, processFloat ()); }
        YY_BREAK
 case 107:
 YY_RULE_SETUP
-#line 373 "cscanner.l"
+#line 374 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                                RETURN_FLOAT (ctype_ldouble, processFloat ()); }
        YY_BREAK
 case 108:
 YY_RULE_SETUP
-#line 375 "cscanner.l"
+#line 376 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                                RETURN_FLOAT (ctype_double, processFloat ()); }
        YY_BREAK
 case 109:
 YY_RULE_SETUP
-#line 378 "cscanner.l"
+#line 379 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                                  RETURN_FLOAT (ctype_float, processFloat ()); }
        YY_BREAK
 case 110:
 YY_RULE_SETUP
-#line 380 "cscanner.l"
+#line 381 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                                  RETURN_FLOAT (ctype_ldouble, processFloat ()); }
        YY_BREAK
 case 111:
 YY_RULE_SETUP
-#line 382 "cscanner.l"
+#line 383 "cscanner.l"
 { setTokLengthT (mstring_length (yytext)); 
                                  RETURN_FLOAT (ctype_double, processFloat ()); }
        YY_BREAK
 case 112:
 YY_RULE_SETUP
-#line 385 "cscanner.l"
+#line 386 "cscanner.l"
 { setTokLength (3); RETURN_TOK (RIGHT_ASSIGN); }
        YY_BREAK
 case 113:
 YY_RULE_SETUP
-#line 386 "cscanner.l"
+#line 387 "cscanner.l"
 { setTokLength (3); RETURN_TOK (LEFT_ASSIGN); }
        YY_BREAK
 case 114:
 YY_RULE_SETUP
-#line 387 "cscanner.l"
+#line 388 "cscanner.l"
 { setTokLength (2); RETURN_TOK (ADD_ASSIGN); }
        YY_BREAK
 case 115:
 YY_RULE_SETUP
-#line 388 "cscanner.l"
+#line 389 "cscanner.l"
 { setTokLength (2); RETURN_TOK (SUB_ASSIGN); }
        YY_BREAK
 case 116:
 YY_RULE_SETUP
-#line 389 "cscanner.l"
+#line 390 "cscanner.l"
 { setTokLength (2); RETURN_TOK (MUL_ASSIGN); }
        YY_BREAK
 case 117:
 YY_RULE_SETUP
-#line 390 "cscanner.l"
+#line 391 "cscanner.l"
 { setTokLength (2); RETURN_TOK (DIV_ASSIGN); }
        YY_BREAK
 case 118:
 YY_RULE_SETUP
-#line 391 "cscanner.l"
+#line 392 "cscanner.l"
 { setTokLength (2); RETURN_TOK (MOD_ASSIGN); }
        YY_BREAK
 case 119:
 YY_RULE_SETUP
-#line 392 "cscanner.l"
+#line 393 "cscanner.l"
 { setTokLength (2); RETURN_TOK (AND_ASSIGN); }
        YY_BREAK
 case 120:
 YY_RULE_SETUP
-#line 393 "cscanner.l"
+#line 394 "cscanner.l"
 { setTokLength (2); RETURN_TOK (XOR_ASSIGN); }
        YY_BREAK
 case 121:
 YY_RULE_SETUP
-#line 394 "cscanner.l"
+#line 395 "cscanner.l"
 { setTokLength (2); RETURN_TOK (OR_ASSIGN); }
        YY_BREAK
 case 122:
 YY_RULE_SETUP
-#line 395 "cscanner.l"
+#line 396 "cscanner.l"
 { setTokLength (2); RETURN_TOK (RIGHT_OP); }
        YY_BREAK
 case 123:
 YY_RULE_SETUP
-#line 396 "cscanner.l"
+#line 397 "cscanner.l"
 { setTokLength (2); RETURN_TOK (LEFT_OP); }
        YY_BREAK
 case 124:
 YY_RULE_SETUP
-#line 397 "cscanner.l"
+#line 398 "cscanner.l"
 { setTokLength (2); RETURN_TOK (INC_OP); }
        YY_BREAK
 case 125:
 YY_RULE_SETUP
-#line 398 "cscanner.l"
+#line 399 "cscanner.l"
 { setTokLength (2); RETURN_TOK (DEC_OP); }
        YY_BREAK
 case 126:
 YY_RULE_SETUP
-#line 399 "cscanner.l"
+#line 400 "cscanner.l"
 { setTokLength (2); RETURN_TOK (ARROW_OP); }
        YY_BREAK
 case 127:
 YY_RULE_SETUP
-#line 400 "cscanner.l"
+#line 401 "cscanner.l"
 { setTokLength (2); RETURN_TOK (AND_OP); }
        YY_BREAK
 case 128:
 YY_RULE_SETUP
-#line 401 "cscanner.l"
+#line 402 "cscanner.l"
 { setTokLength (2); RETURN_TOK (OR_OP); }
        YY_BREAK
 case 129:
 YY_RULE_SETUP
-#line 402 "cscanner.l"
+#line 403 "cscanner.l"
 { setTokLength (2); RETURN_TOK (LE_OP); }
        YY_BREAK
 case 130:
 YY_RULE_SETUP
-#line 403 "cscanner.l"
+#line 404 "cscanner.l"
 { setTokLength (2); RETURN_TOK (GE_OP); }
        YY_BREAK
 case 131:
 YY_RULE_SETUP
-#line 404 "cscanner.l"
+#line 405 "cscanner.l"
 { setTokLength (2); RETURN_TOK (EQ_OP); }
        YY_BREAK
 case 132:
 YY_RULE_SETUP
-#line 405 "cscanner.l"
+#line 406 "cscanner.l"
 { setTokLength (2); RETURN_TOK (NE_OP); }
        YY_BREAK
 case 133:
 YY_RULE_SETUP
-#line 406 "cscanner.l"
+#line 407 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TSEMI); }
        YY_BREAK
 case 134:
 YY_RULE_SETUP
-#line 407 "cscanner.l"
+#line 408 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TLBRACE); }
        YY_BREAK
 case 135:
 YY_RULE_SETUP
-#line 408 "cscanner.l"
+#line 409 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TRBRACE); }
        YY_BREAK
 case 136:
 YY_RULE_SETUP
-#line 409 "cscanner.l"
+#line 410 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TCOMMA); }
        YY_BREAK
 case 137:
 YY_RULE_SETUP
-#line 410 "cscanner.l"
+#line 411 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TCOLON); }
        YY_BREAK
 case 138:
 YY_RULE_SETUP
-#line 411 "cscanner.l"
+#line 412 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TASSIGN); }
        YY_BREAK
 case 139:
 YY_RULE_SETUP
-#line 412 "cscanner.l"
+#line 413 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TLPAREN); }
        YY_BREAK
 case 140:
 YY_RULE_SETUP
-#line 413 "cscanner.l"
+#line 414 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TRPAREN); }
        YY_BREAK
 case 141:
 YY_RULE_SETUP
-#line 414 "cscanner.l"
+#line 415 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TLSQBR); }
        YY_BREAK
 case 142:
 YY_RULE_SETUP
-#line 415 "cscanner.l"
+#line 416 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TRSQBR); }
        YY_BREAK
 case 143:
 YY_RULE_SETUP
-#line 416 "cscanner.l"
+#line 417 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TDOT); }
        YY_BREAK
 case 144:
 YY_RULE_SETUP
-#line 417 "cscanner.l"
+#line 418 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TAMPERSAND); }
        YY_BREAK
 case 145:
 YY_RULE_SETUP
-#line 418 "cscanner.l"
+#line 419 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TEXCL); }
        YY_BREAK
 case 146:
 YY_RULE_SETUP
-#line 421 "cscanner.l"
+#line 422 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TTILDE); }
        YY_BREAK
 case 147:
 YY_RULE_SETUP
-#line 422 "cscanner.l"
+#line 423 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TMINUS); }
        YY_BREAK
 case 148:
 YY_RULE_SETUP
-#line 423 "cscanner.l"
+#line 424 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TPLUS); }
        YY_BREAK
 case 149:
 YY_RULE_SETUP
-#line 424 "cscanner.l"
+#line 425 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TMULT); }
        YY_BREAK
 case 150:
 YY_RULE_SETUP
-#line 425 "cscanner.l"
+#line 426 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TDIV); }
        YY_BREAK
 case 151:
 YY_RULE_SETUP
-#line 426 "cscanner.l"
+#line 427 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TPERCENT); }
        YY_BREAK
 case 152:
 YY_RULE_SETUP
-#line 427 "cscanner.l"
+#line 428 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TLT); }
        YY_BREAK
 case 153:
 YY_RULE_SETUP
-#line 428 "cscanner.l"
+#line 429 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TGT); }
        YY_BREAK
 case 154:
 YY_RULE_SETUP
-#line 429 "cscanner.l"
+#line 430 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TCIRC); }
        YY_BREAK
 case 155:
 YY_RULE_SETUP
-#line 430 "cscanner.l"
+#line 431 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TBAR); }
        YY_BREAK
 case 156:
 YY_RULE_SETUP
-#line 431 "cscanner.l"
+#line 432 "cscanner.l"
 { setTokLength (1); RETURN_TOK (TQUEST); }
        YY_BREAK
 case 157:
 YY_RULE_SETUP
-#line 433 "cscanner.l"
+#line 434 "cscanner.l"
 { incColumn (); }
        YY_BREAK
 case 158:
 YY_RULE_SETUP
-#line 434 "cscanner.l"
+#line 435 "cscanner.l"
 { context_incLineno ();
                  if (continueLine)
                    {
@@ -1987,7 +1987,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 159:
 YY_RULE_SETUP
-#line 450 "cscanner.l"
+#line 451 "cscanner.l"
 { setTokLength (6); 
                  
                  if (processMacro ()) {
@@ -2008,7 +2008,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 160:
 YY_RULE_SETUP
-#line 467 "cscanner.l"
+#line 468 "cscanner.l"
 { if (context_inHeader () || context_inFunction ())
                    { 
                      handleMacro ();
@@ -2048,69 +2048,69 @@ YY_RULE_SETUP
        YY_BREAK
 case 161:
 YY_RULE_SETUP
-#line 503 "cscanner.l"
+#line 504 "cscanner.l"
 { setTokLength (4); lldiagmsg (ctype_unparseTable ()); }
        YY_BREAK
 case 162:
 YY_RULE_SETUP
-#line 504 "cscanner.l"
+#line 505 "cscanner.l"
 { setTokLength (3); 
                  lldiagmsg (message ("%q: *** marker ***", fileloc_unparse (g_currentloc)));
                }
        YY_BREAK
 case 163:
 YY_RULE_SETUP
-#line 507 "cscanner.l"
+#line 508 "cscanner.l"
 { setTokLength (3); usymtab_printLocal (); }
        YY_BREAK
 case 164:
 YY_RULE_SETUP
-#line 508 "cscanner.l"
+#line 509 "cscanner.l"
 { setTokLength (3); lldiagmsg (usymtab_unparseAliases ()); }
        YY_BREAK
 case 165:
 YY_RULE_SETUP
-#line 509 "cscanner.l"
+#line 510 "cscanner.l"
 { setTokLength (3); lldiagmsg (context_unparse ()); }
        YY_BREAK
 case 166:
 YY_RULE_SETUP
-#line 510 "cscanner.l"
+#line 511 "cscanner.l"
 { setTokLength (3); lldiagmsg (context_unparseClauses ()); }
        YY_BREAK
 case 167:
 YY_RULE_SETUP
-#line 511 "cscanner.l"
+#line 512 "cscanner.l"
 { setTokLength (3); usymtab_printGuards (); }
        YY_BREAK
 case 168:
 YY_RULE_SETUP
-#line 512 "cscanner.l"
+#line 513 "cscanner.l"
 { setTokLength (3); usymtab_printOut (); }
        YY_BREAK
 case 169:
 YY_RULE_SETUP
-#line 513 "cscanner.l"
+#line 514 "cscanner.l"
 { setTokLength (3); usymtab_printAll (); }
        YY_BREAK
 case 170:
 YY_RULE_SETUP
-#line 514 "cscanner.l"
+#line 515 "cscanner.l"
 { setTokLength (3); usymtab_printComplete (); }
        YY_BREAK
 case 171:
 YY_RULE_SETUP
-#line 515 "cscanner.l"
+#line 516 "cscanner.l"
 { setTokLength (3); usymtab_printTypes (); }
        YY_BREAK
 case 172:
 YY_RULE_SETUP
-#line 516 "cscanner.l"
+#line 517 "cscanner.l"
 { setTokLength (3); lldiagmsg (usymtab_unparseStack ()); }
        YY_BREAK
 case 173:
 YY_RULE_SETUP
-#line 517 "cscanner.l"
+#line 518 "cscanner.l"
 { setTokLength (3); 
                  lldiagmsg (message ("Can modify: %q", 
                                  sRefSet_unparse (context_modList ()))); 
@@ -2118,7 +2118,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 174:
 YY_RULE_SETUP
-#line 521 "cscanner.l"
+#line 522 "cscanner.l"
 { /* BEFORE_COMMENT_MARKER */
                   int tok; 
                  incColumn (); incColumn ();
@@ -2131,7 +2131,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 175:
 YY_RULE_SETUP
-#line 530 "cscanner.l"
+#line 531 "cscanner.l"
 { /* AFTER_COMMENT_MARKER */ 
                   setTokLength (2);
                  inSpecPart = FALSE;
@@ -2139,12 +2139,12 @@ YY_RULE_SETUP
        YY_BREAK
 case 176:
 YY_RULE_SETUP
-#line 534 "cscanner.l"
+#line 535 "cscanner.l"
 { incColumn (); continueLine = TRUE; }
        YY_BREAK
 case 177:
 YY_RULE_SETUP
-#line 535 "cscanner.l"
+#line 536 "cscanner.l"
 { incColumn (); 
                  voptgenerror
                    (FLG_SYNTAX, 
@@ -2155,7 +2155,7 @@ YY_RULE_SETUP
        YY_BREAK
 case 178:
 YY_RULE_SETUP
-#line 542 "cscanner.l"
+#line 543 "cscanner.l"
 ECHO;
        YY_BREAK
 #line 2162 "lex.yy.c"
@@ -3044,7 +3044,7 @@ int main()
        return 0;
        }
 #endif
-#line 542 "cscanner.l"
+#line 543 "cscanner.l"
 
 
 struct skeyword
@@ -3072,7 +3072,9 @@ struct skeyword s_parsetable[] = {
   { "releases", QRELEASES } ,
   { "pre", QPRECLAUSE } ,
   { "post", QPOSTCLAUSE } ,
-  { NULL, BADTOK } 
+  {"setBufferSize", QSETBUFFERSIZE},
+  {"setStringLength", QSETSTRINGLENGTH},
+  { NULL, BADTOK }
 } ;
 
 /*
@@ -3115,6 +3117,7 @@ struct skeyword s_keytable[] = {
   { "null", QNULL } ,
   { "relnull", QRELNULL } ,
   { "nullterminated", QNULLTERMINATED }, 
+  { "setBufferSize", QSETBUFFERSIZE },
   { "reldef", QRELDEF } ,
   { "observer", QOBSERVER } ,
   { "exits", QEXITS } ,