X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/92c4a78635fd7baf52eb7ede90b735be84089dd7..754746a0b484b3a65de0a377149b3f4e4ab10b51:/src/Headers/llgrammar_gen.h diff --git a/src/Headers/llgrammar_gen.h b/src/Headers/llgrammar_gen.h index 1aff3d3..2a69055 100644 --- a/src/Headers/llgrammar_gen.h +++ b/src/Headers/llgrammar_gen.h @@ -109,140 +109,140 @@ typedef union /*@only@*/ interfaceNodeList interfacelist; /*@only@*/ CTypesNode ctypes; } YYSTYPE; -#define simpleOp 258 -#define PREFIX_OP 259 -#define POSTFIX_OP 260 -#define LLT_MULOP 261 -#define LLT_SEMI 262 -#define LLT_VERTICALBAR 263 -#define ITERATION_OP 264 -#define LLT_LPAR 265 -#define LLT_LBRACKET 266 -#define selectSym 267 -#define LLT_IF_THEN_ELSE 268 -#define logicalOp 269 -#define eqSepSym 270 -#define equationSym 271 -#define commentSym 272 -#define LLT_WHITESPACE 273 -#define LLT_EOL 274 -#define LLT_TYPEDEF_NAME 275 -#define quantifierSym 276 -#define openSym 277 -#define closeSym 278 -#define sepSym 279 -#define simpleId 280 -#define mapSym 281 -#define markerSym 282 -#define preSym 283 -#define postSym 284 -#define anySym 285 -#define LLT_COLON 286 -#define LLT_COMMA 287 -#define LLT_EQUALS 288 -#define LLT_LBRACE 289 -#define LLT_RBRACE 290 -#define LLT_RBRACKET 291 -#define LLT_RPAR 292 -#define LLT_QUOTE 293 -#define eqOp 294 -#define LLT_CCHAR 295 -#define LLT_CFLOAT 296 -#define LLT_CINTEGER 297 -#define LLT_LCSTRING 298 -#define LLT_ALL 299 -#define LLT_ANYTHING 300 -#define LLT_BE 301 -#define LLT_BODY 302 -#define LLT_CLAIMS 303 -#define LLT_CHECKS 304 -#define LLT_CONSTANT 305 -#define LLT_ELSE 306 -#define LLT_ENSURES 307 -#define LLT_FOR 308 -#define LLT_FRESH 309 -#define LLT_IF 310 -#define LLT_IMMUTABLE 311 -#define LLT_IMPORTS 312 -#define LLT_CONSTRAINT 313 -#define LLT_ISSUB 314 -#define LLT_LET 315 -#define LLT_MODIFIES 316 -#define LLT_MUTABLE 317 -#define LLT_NOTHING 318 -#define LLT_INTERNAL 319 -#define LLT_FILESYS 320 -#define LLT_OBJ 321 -#define LLT_OUT 322 -#define LLT_SEF 323 -#define LLT_ONLY 324 -#define LLT_PARTIAL 325 -#define LLT_OWNED 326 -#define LLT_DEPENDENT 327 -#define LLT_KEEP 328 -#define LLT_KEPT 329 -#define LLT_TEMP 330 -#define LLT_SHARED 331 -#define LLT_UNIQUE 332 -#define LLT_UNUSED 333 -#define LLT_EXITS 334 -#define LLT_MAYEXIT 335 -#define LLT_NEVEREXIT 336 -#define LLT_TRUEEXIT 337 -#define LLT_FALSEEXIT 338 -#define LLT_UNDEF 339 -#define LLT_KILLED 340 -#define LLT_CHECKMOD 341 -#define LLT_CHECKED 342 -#define LLT_UNCHECKED 343 -#define LLT_CHECKEDSTRICT 344 -#define LLT_TRUENULL 345 -#define LLT_FALSENULL 346 -#define LLT_LNULL 347 -#define LLT_LNOTNULL 348 -#define LLT_RETURNED 349 -#define LLT_OBSERVER 350 -#define LLT_EXPOSED 351 -#define LLT_REFCOUNTED 352 -#define LLT_REFS 353 -#define LLT_RELNULL 354 -#define LLT_RELDEF 355 -#define LLT_KILLREF 356 -#define LLT_NULLTERMINATED 357 -#define LLT_TEMPREF 358 -#define LLT_NEWREF 359 -#define LLT_PRIVATE 360 -#define LLT_REQUIRES 361 -#define LLT_RESULT 362 -#define LLT_SIZEOF 363 -#define LLT_SPEC 364 -#define LLT_TAGGEDUNION 365 -#define LLT_THEN 366 -#define LLT_TYPE 367 -#define LLT_TYPEDEF 368 -#define LLT_UNCHANGED 369 -#define LLT_USES 370 -#define LLT_CHAR 371 -#define LLT_CONST 372 -#define LLT_DOUBLE 373 -#define LLT_ENUM 374 -#define LLT_FLOAT 375 -#define LLT_INT 376 -#define LLT_ITER 377 -#define LLT_YIELD 378 -#define LLT_LONG 379 -#define LLT_SHORT 380 -#define LLT_SIGNED 381 -#define LLT_UNKNOWN 382 -#define LLT_STRUCT 383 -#define LLT_TELIPSIS 384 -#define LLT_UNION 385 -#define LLT_UNSIGNED 386 -#define LLT_VOID 387 -#define LLT_VOLATILE 388 -#define LLT_PRINTFLIKE 389 -#define LLT_SCANFLIKE 390 -#define LLT_MESSAGELIKE 391 +#define simpleOp 257 +#define PREFIX_OP 258 +#define POSTFIX_OP 259 +#define LLT_MULOP 260 +#define LLT_SEMI 261 +#define LLT_VERTICALBAR 262 +#define ITERATION_OP 263 +#define LLT_LPAR 264 +#define LLT_LBRACKET 265 +#define selectSym 266 +#define LLT_IF_THEN_ELSE 267 +#define logicalOp 268 +#define eqSepSym 269 +#define equationSym 270 +#define commentSym 271 +#define LLT_WHITESPACE 272 +#define LLT_EOL 273 +#define LLT_TYPEDEF_NAME 274 +#define quantifierSym 275 +#define openSym 276 +#define closeSym 277 +#define sepSym 278 +#define simpleId 279 +#define mapSym 280 +#define markerSym 281 +#define preSym 282 +#define postSym 283 +#define anySym 284 +#define LLT_COLON 285 +#define LLT_COMMA 286 +#define LLT_EQUALS 287 +#define LLT_LBRACE 288 +#define LLT_RBRACE 289 +#define LLT_RBRACKET 290 +#define LLT_RPAR 291 +#define LLT_QUOTE 292 +#define eqOp 293 +#define LLT_CCHAR 294 +#define LLT_CFLOAT 295 +#define LLT_CINTEGER 296 +#define LLT_LCSTRING 297 +#define LLT_ALL 298 +#define LLT_ANYTHING 299 +#define LLT_BE 300 +#define LLT_BODY 301 +#define LLT_CLAIMS 302 +#define LLT_CHECKS 303 +#define LLT_CONSTANT 304 +#define LLT_ELSE 305 +#define LLT_ENSURES 306 +#define LLT_FOR 307 +#define LLT_FRESH 308 +#define LLT_IF 309 +#define LLT_IMMUTABLE 310 +#define LLT_IMPORTS 311 +#define LLT_CONSTRAINT 312 +#define LLT_ISSUB 313 +#define LLT_LET 314 +#define LLT_MODIFIES 315 +#define LLT_MUTABLE 316 +#define LLT_NOTHING 317 +#define LLT_INTERNAL 318 +#define LLT_FILESYS 319 +#define LLT_OBJ 320 +#define LLT_OUT 321 +#define LLT_SEF 322 +#define LLT_ONLY 323 +#define LLT_PARTIAL 324 +#define LLT_OWNED 325 +#define LLT_DEPENDENT 326 +#define LLT_KEEP 327 +#define LLT_KEPT 328 +#define LLT_TEMP 329 +#define LLT_SHARED 330 +#define LLT_UNIQUE 331 +#define LLT_UNUSED 332 +#define LLT_EXITS 333 +#define LLT_MAYEXIT 334 +#define LLT_NEVEREXIT 335 +#define LLT_TRUEEXIT 336 +#define LLT_FALSEEXIT 337 +#define LLT_UNDEF 338 +#define LLT_KILLED 339 +#define LLT_CHECKMOD 340 +#define LLT_CHECKED 341 +#define LLT_UNCHECKED 342 +#define LLT_CHECKEDSTRICT 343 +#define LLT_TRUENULL 344 +#define LLT_FALSENULL 345 +#define LLT_LNULL 346 +#define LLT_LNOTNULL 347 +#define LLT_RETURNED 348 +#define LLT_OBSERVER 349 +#define LLT_EXPOSED 350 +#define LLT_REFCOUNTED 351 +#define LLT_REFS 352 +#define LLT_RELNULL 353 +#define LLT_RELDEF 354 +#define LLT_KILLREF 355 +#define LLT_NULLTERMINATED 356 +#define LLT_TEMPREF 357 +#define LLT_NEWREF 358 +#define LLT_PRIVATE 359 +#define LLT_REQUIRES 360 +#define LLT_RESULT 361 +#define LLT_SIZEOF 362 +#define LLT_SPEC 363 +#define LLT_TAGGEDUNION 364 +#define LLT_THEN 365 +#define LLT_TYPE 366 +#define LLT_TYPEDEF 367 +#define LLT_UNCHANGED 368 +#define LLT_USES 369 +#define LLT_CHAR 370 +#define LLT_CONST 371 +#define LLT_DOUBLE 372 +#define LLT_ENUM 373 +#define LLT_FLOAT 374 +#define LLT_INT 375 +#define LLT_ITER 376 +#define LLT_YIELD 377 +#define LLT_LONG 378 +#define LLT_SHORT 379 +#define LLT_SIGNED 380 +#define LLT_UNKNOWN 381 +#define LLT_STRUCT 382 +#define LLT_TELIPSIS 383 +#define LLT_UNION 384 +#define LLT_UNSIGNED 385 +#define LLT_VOID 386 +#define LLT_VOLATILE 387 +#define LLT_PRINTFLIKE 388 +#define LLT_SCANFLIKE 389 +#define LLT_MESSAGELIKE 390 extern YYSTYPE yllval;