/*@only@*/ modifiesClause modsclause;
/*@only@*/ warnClause warnclause;
/*@only@*/ stateClause stateclause;
-
+ /*@only@*/ pointers pointers;
/*@only@*/ functionConstraint fcnconstraint;
/*@only@*/ metaStateConstraint msconstraint;
#define QMESSAGELIKE 363
#define QNOTREACHED 364
#define QCONST 365
-#define QVOLATILE 366
-#define QINLINE 367
-#define QEXTENSION 368
-#define QEXTERN 369
-#define QSTATIC 370
-#define QAUTO 371
-#define QREGISTER 372
-#define QOUT 373
-#define QIN 374
-#define QYIELD 375
-#define QONLY 376
-#define QTEMP 377
-#define QSHARED 378
-#define QREF 379
-#define QUNIQUE 380
-#define QCHECKED 381
-#define QUNCHECKED 382
-#define QCHECKEDSTRICT 383
-#define QCHECKMOD 384
-#define QKEEP 385
-#define QKEPT 386
-#define QPARTIAL 387
-#define QSPECIAL 388
-#define QOWNED 389
-#define QDEPENDENT 390
-#define QRETURNED 391
-#define QEXPOSED 392
-#define QNULL 393
-#define QOBSERVER 394
-#define QISNULL 395
-#define QEXITS 396
-#define QMAYEXIT 397
-#define QNEVEREXIT 398
-#define QTRUEEXIT 399
-#define QFALSEEXIT 400
-#define QLONG 401
-#define QSIGNED 402
-#define QUNSIGNED 403
-#define QSHORT 404
-#define QUNUSED 405
-#define QSEF 406
-#define QNOTNULL 407
-#define QRELNULL 408
-#define QABSTRACT 409
-#define QCONCRETE 410
-#define QMUTABLE 411
-#define QIMMUTABLE 412
-#define QTRUENULL 413
-#define QFALSENULL 414
-#define QEXTERNAL 415
-#define QREFCOUNTED 416
-#define QREFS 417
-#define QNEWREF 418
-#define QTEMPREF 419
-#define QKILLREF 420
-#define QRELDEF 421
-#define CGCHAR 422
-#define CBOOL 423
-#define CINT 424
-#define CGFLOAT 425
-#define CDOUBLE 426
-#define CVOID 427
-#define QANYTYPE 428
-#define QINTEGRALTYPE 429
-#define QUNSIGNEDINTEGRALTYPE 430
-#define QSIGNEDINTEGRALTYPE 431
-#define QNULLTERMINATED 432
-#define QSETBUFFERSIZE 433
-#define QSETSTRINGLENGTH 434
-#define QMAXSET 435
-#define QMAXREAD 436
-#define QTESTINRANGE 437
-#define TCAND 438
-#define IDENTIFIER 439
-#define NEW_IDENTIFIER 440
-#define TYPE_NAME_OR_ID 441
-#define CANNOTATION 442
-#define CCONSTANT 443
-#define ITER_NAME 444
-#define ITER_ENDNAME 445
-#define TYPE_NAME 446
-#define METASTATE_NAME 447
+#define QRESTRICT 366
+#define QVOLATILE 367
+#define QINLINE 368
+#define QEXTENSION 369
+#define QEXTERN 370
+#define QSTATIC 371
+#define QAUTO 372
+#define QREGISTER 373
+#define QOUT 374
+#define QIN 375
+#define QYIELD 376
+#define QONLY 377
+#define QTEMP 378
+#define QSHARED 379
+#define QREF 380
+#define QUNIQUE 381
+#define QCHECKED 382
+#define QUNCHECKED 383
+#define QCHECKEDSTRICT 384
+#define QCHECKMOD 385
+#define QKEEP 386
+#define QKEPT 387
+#define QPARTIAL 388
+#define QSPECIAL 389
+#define QOWNED 390
+#define QDEPENDENT 391
+#define QRETURNED 392
+#define QEXPOSED 393
+#define QNULL 394
+#define QOBSERVER 395
+#define QISNULL 396
+#define QEXITS 397
+#define QMAYEXIT 398
+#define QNEVEREXIT 399
+#define QTRUEEXIT 400
+#define QFALSEEXIT 401
+#define QLONG 402
+#define QSIGNED 403
+#define QUNSIGNED 404
+#define QSHORT 405
+#define QUNUSED 406
+#define QSEF 407
+#define QNOTNULL 408
+#define QRELNULL 409
+#define QABSTRACT 410
+#define QCONCRETE 411
+#define QMUTABLE 412
+#define QIMMUTABLE 413
+#define QTRUENULL 414
+#define QFALSENULL 415
+#define QEXTERNAL 416
+#define QREFCOUNTED 417
+#define QREFS 418
+#define QNEWREF 419
+#define QTEMPREF 420
+#define QKILLREF 421
+#define QRELDEF 422
+#define CGCHAR 423
+#define CBOOL 424
+#define CINT 425
+#define CGFLOAT 426
+#define CDOUBLE 427
+#define CVOID 428
+#define QANYTYPE 429
+#define QINTEGRALTYPE 430
+#define QUNSIGNEDINTEGRALTYPE 431
+#define QSIGNEDINTEGRALTYPE 432
+#define QNULLTERMINATED 433
+#define QSETBUFFERSIZE 434
+#define QSETSTRINGLENGTH 435
+#define QMAXSET 436
+#define QMAXREAD 437
+#define QTESTINRANGE 438
+#define TCAND 439
+#define IDENTIFIER 440
+#define NEW_IDENTIFIER 441
+#define TYPE_NAME_OR_ID 442
+#define CANNOTATION 443
+#define CCONSTANT 444
+#define ITER_NAME 445
+#define ITER_ENDNAME 446
+#define TYPE_NAME 447
+#define METASTATE_NAME 448
extern YYSTYPE yylval;
andersk / splint.git / blobdiff