constraintExpr conE;
/* drl */
} YYSTYPE;
-#define BADTOK 258
-#define SKIPTOK 259
-#define CTOK_ELIPSIS 260
-#define CASE 261
-#define DEFAULT 262
-#define CIF 263
-#define CELSE 264
-#define SWITCH 265
-#define WHILE 266
-#define DO 267
-#define CFOR 268
-#define GOTO 269
-#define CONTINUE 270
-#define BREAK 271
-#define RETURN 272
-#define TSEMI 273
-#define TLBRACE 274
-#define TRBRACE 275
-#define TCOMMA 276
-#define TCOLON 277
-#define TASSIGN 278
-#define TLPAREN 279
-#define TRPAREN 280
-#define TLSQBR 281
-#define TRSQBR 282
-#define TDOT 283
-#define TAMPERSAND 284
-#define TEXCL 285
-#define TTILDE 286
-#define TMINUS 287
-#define TPLUS 288
-#define TMULT 289
-#define TDIV 290
-#define TPERCENT 291
-#define TLT 292
-#define TGT 293
-#define TCIRC 294
-#define TBAR 295
-#define TQUEST 296
-#define CSIZEOF 297
-#define CALIGNOF 298
-#define ARROW_OP 299
-#define CTYPEDEF 300
-#define COFFSETOF 301
-#define INC_OP 302
-#define DEC_OP 303
-#define LEFT_OP 304
-#define RIGHT_OP 305
-#define LE_OP 306
-#define GE_OP 307
-#define EQ_OP 308
-#define NE_OP 309
-#define AND_OP 310
-#define OR_OP 311
-#define MUL_ASSIGN 312
-#define DIV_ASSIGN 313
-#define MOD_ASSIGN 314
-#define ADD_ASSIGN 315
-#define SUB_ASSIGN 316
-#define LEFT_ASSIGN 317
-#define RIGHT_ASSIGN 318
-#define AND_ASSIGN 319
-#define XOR_ASSIGN 320
-#define OR_ASSIGN 321
-#define CSTRUCT 322
-#define CUNION 323
-#define CENUM 324
-#define VA_ARG 325
-#define VA_DCL 326
-#define QGLOBALS 327
-#define QMODIFIES 328
-#define QNOMODS 329
-#define QCONSTANT 330
-#define QFUNCTION 331
-#define QITER 332
-#define QDEFINES 333
-#define QUSES 334
-#define QALLOCATES 335
-#define QSETS 336
-#define QRELEASES 337
-#define QPRECLAUSE 338
-#define QPOSTCLAUSE 339
-#define QALT 340
-#define QUNDEF 341
-#define QKILLED 342
-#define QENDMACRO 343
-#define LLMACRO 344
-#define LLMACROITER 345
-#define LLMACROEND 346
-#define TENDMACRO 347
-#define QSWITCHBREAK 348
-#define QLOOPBREAK 349
-#define QINNERBREAK 350
-#define QSAFEBREAK 351
-#define QINNERCONTINUE 352
-#define QFALLTHROUGH 353
-#define QLINTNOTREACHED 354
-#define QLINTFALLTHROUGH 355
-#define QLINTFALLTHRU 356
-#define QARGSUSED 357
-#define QPRINTFLIKE 358
-#define QLINTPRINTFLIKE 359
-#define QSCANFLIKE 360
-#define QMESSAGELIKE 361
-#define QNOTREACHED 362
-#define QCONST 363
-#define QVOLATILE 364
-#define QINLINE 365
-#define QEXTENSION 366
-#define QEXTERN 367
-#define QSTATIC 368
-#define QAUTO 369
-#define QREGISTER 370
-#define QOUT 371
-#define QIN 372
-#define QYIELD 373
-#define QONLY 374
-#define QTEMP 375
-#define QSHARED 376
-#define QREF 377
-#define QUNIQUE 378
-#define QCHECKED 379
-#define QUNCHECKED 380
-#define QCHECKEDSTRICT 381
-#define QCHECKMOD 382
-#define QKEEP 383
-#define QKEPT 384
-#define QPARTIAL 385
-#define QSPECIAL 386
-#define QOWNED 387
-#define QDEPENDENT 388
-#define QRETURNED 389
-#define QEXPOSED 390
-#define QNULL 391
-#define QOBSERVER 392
-#define QISNULL 393
-#define QEXITS 394
-#define QMAYEXIT 395
-#define QNEVEREXIT 396
-#define QTRUEEXIT 397
-#define QFALSEEXIT 398
-#define QLONG 399
-#define QSIGNED 400
-#define QUNSIGNED 401
-#define QSHORT 402
-#define QUNUSED 403
-#define QSEF 404
-#define QNOTNULL 405
-#define QRELNULL 406
-#define QABSTRACT 407
-#define QCONCRETE 408
-#define QMUTABLE 409
-#define QIMMUTABLE 410
-#define QTRUENULL 411
-#define QFALSENULL 412
-#define QEXTERNAL 413
-#define QREFCOUNTED 414
-#define QREFS 415
-#define QNEWREF 416
-#define QTEMPREF 417
-#define QKILLREF 418
-#define QRELDEF 419
-#define CGCHAR 420
-#define CBOOL 421
-#define CINT 422
-#define CGFLOAT 423
-#define CDOUBLE 424
-#define CVOID 425
-#define QANYTYPE 426
-#define QINTEGRALTYPE 427
-#define QUNSIGNEDINTEGRALTYPE 428
-#define QSIGNEDINTEGRALTYPE 429
-#define QNULLTERMINATED 430
-#define QSETBUFFERSIZE 431
-#define QBUFFERCONSTRAINT 432
-#define QENSURESCONSTRAINT 433
-#define QSETSTRINGLENGTH 434
-#define QMAXSET 435
-#define QMAXREAD 436
-#define QTESTINRANGE 437
-#define IDENTIFIER 438
-#define NEW_IDENTIFIER 439
-#define TYPE_NAME_OR_ID 440
-#define CCONSTANT 441
-#define ITER_NAME 442
-#define ITER_ENDNAME 443
-#define TYPE_NAME 444
+#define BADTOK 257
+#define SKIPTOK 258
+#define CTOK_ELIPSIS 259
+#define CASE 260
+#define DEFAULT 261
+#define CIF 262
+#define CELSE 263
+#define SWITCH 264
+#define WHILE 265
+#define DO 266
+#define CFOR 267
+#define GOTO 268
+#define CONTINUE 269
+#define BREAK 270
+#define RETURN 271
+#define TSEMI 272
+#define TLBRACE 273
+#define TRBRACE 274
+#define TCOMMA 275
+#define TCOLON 276
+#define TASSIGN 277
+#define TLPAREN 278
+#define TRPAREN 279
+#define TLSQBR 280
+#define TRSQBR 281
+#define TDOT 282
+#define TAMPERSAND 283
+#define TEXCL 284
+#define TTILDE 285
+#define TMINUS 286
+#define TPLUS 287
+#define TMULT 288
+#define TDIV 289
+#define TPERCENT 290
+#define TLT 291
+#define TGT 292
+#define TCIRC 293
+#define TBAR 294
+#define TQUEST 295
+#define CSIZEOF 296
+#define CALIGNOF 297
+#define ARROW_OP 298
+#define CTYPEDEF 299
+#define COFFSETOF 300
+#define INC_OP 301
+#define DEC_OP 302
+#define LEFT_OP 303
+#define RIGHT_OP 304
+#define LE_OP 305
+#define GE_OP 306
+#define EQ_OP 307
+#define NE_OP 308
+#define AND_OP 309
+#define OR_OP 310
+#define MUL_ASSIGN 311
+#define DIV_ASSIGN 312
+#define MOD_ASSIGN 313
+#define ADD_ASSIGN 314
+#define SUB_ASSIGN 315
+#define LEFT_ASSIGN 316
+#define RIGHT_ASSIGN 317
+#define AND_ASSIGN 318
+#define XOR_ASSIGN 319
+#define OR_ASSIGN 320
+#define CSTRUCT 321
+#define CUNION 322
+#define CENUM 323
+#define VA_ARG 324
+#define VA_DCL 325
+#define QGLOBALS 326
+#define QMODIFIES 327
+#define QNOMODS 328
+#define QCONSTANT 329
+#define QFUNCTION 330
+#define QITER 331
+#define QDEFINES 332
+#define QUSES 333
+#define QALLOCATES 334
+#define QSETS 335
+#define QRELEASES 336
+#define QPRECLAUSE 337
+#define QPOSTCLAUSE 338
+#define QALT 339
+#define QUNDEF 340
+#define QKILLED 341
+#define QENDMACRO 342
+#define LLMACRO 343
+#define LLMACROITER 344
+#define LLMACROEND 345
+#define TENDMACRO 346
+#define QSWITCHBREAK 347
+#define QLOOPBREAK 348
+#define QINNERBREAK 349
+#define QSAFEBREAK 350
+#define QINNERCONTINUE 351
+#define QFALLTHROUGH 352
+#define QLINTNOTREACHED 353
+#define QLINTFALLTHROUGH 354
+#define QLINTFALLTHRU 355
+#define QARGSUSED 356
+#define QPRINTFLIKE 357
+#define QLINTPRINTFLIKE 358
+#define QSCANFLIKE 359
+#define QMESSAGELIKE 360
+#define QNOTREACHED 361
+#define QCONST 362
+#define QVOLATILE 363
+#define QINLINE 364
+#define QEXTENSION 365
+#define QEXTERN 366
+#define QSTATIC 367
+#define QAUTO 368
+#define QREGISTER 369
+#define QOUT 370
+#define QIN 371
+#define QYIELD 372
+#define QONLY 373
+#define QTEMP 374
+#define QSHARED 375
+#define QREF 376
+#define QUNIQUE 377
+#define QCHECKED 378
+#define QUNCHECKED 379
+#define QCHECKEDSTRICT 380
+#define QCHECKMOD 381
+#define QKEEP 382
+#define QKEPT 383
+#define QPARTIAL 384
+#define QSPECIAL 385
+#define QOWNED 386
+#define QDEPENDENT 387
+#define QRETURNED 388
+#define QEXPOSED 389
+#define QNULL 390
+#define QOBSERVER 391
+#define QISNULL 392
+#define QEXITS 393
+#define QMAYEXIT 394
+#define QNEVEREXIT 395
+#define QTRUEEXIT 396
+#define QFALSEEXIT 397
+#define QLONG 398
+#define QSIGNED 399
+#define QUNSIGNED 400
+#define QSHORT 401
+#define QUNUSED 402
+#define QSEF 403
+#define QNOTNULL 404
+#define QRELNULL 405
+#define QABSTRACT 406
+#define QCONCRETE 407
+#define QMUTABLE 408
+#define QIMMUTABLE 409
+#define QTRUENULL 410
+#define QFALSENULL 411
+#define QEXTERNAL 412
+#define QREFCOUNTED 413
+#define QREFS 414
+#define QNEWREF 415
+#define QTEMPREF 416
+#define QKILLREF 417
+#define QRELDEF 418
+#define CGCHAR 419
+#define CBOOL 420
+#define CINT 421
+#define CGFLOAT 422
+#define CDOUBLE 423
+#define CVOID 424
+#define QANYTYPE 425
+#define QINTEGRALTYPE 426
+#define QUNSIGNEDINTEGRALTYPE 427
+#define QSIGNEDINTEGRALTYPE 428
+#define QNULLTERMINATED 429
+#define QSETBUFFERSIZE 430
+#define QBUFFERCONSTRAINT 431
+#define QENSURESCONSTRAINT 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;
andersk / splint.git / blobdiff