X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/11ed4f45e321c24d9340dc277c54e1d2c9cd0046..08cf86420d78ec43cc82ce0258cd86704afd80bd:/src/Headers/cgrammar_tokens.h

diff --git a/src/Headers/cgrammar_tokens.h b/src/Headers/cgrammar_tokens.h
index a16aeac..65e6cf9 100644
--- a/src/Headers/cgrammar_tokens.h
+++ b/src/Headers/cgrammar_tokens.h
@@ -41,214 +41,564 @@
 /*@-dependenttrans@*/
 /*@-unqualifiedtrans@*/
 /*@-nullassign@*/
+/*@-nullpass@*/
+/*@-nullptrarith*/
+/*@-usereleased@*/
+/*@-declundef@*/
+
+/*drl added 11/27/2001*/
+/*@-bounds@*/
+
+/*drl added 12/11/2002*/
+/*@-type@*/
 
 /* < end of bison.head > */
 
-typedef union
+/* A Bison parser, made by GNU Bison 2.3.  */
+
+/* Skeleton interface for Bison's Yacc-like parsers in C
+
+   Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006
+   Free Software Foundation, Inc.
+
+   This program is free software; you can redistribute it and/or modify
+   it under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 2, or (at your option)
+   any later version.
+
+   This program is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU General Public License for more details.
+
+   You should have received a copy of the GNU General Public License
+   along with this program; if not, write to the Free Software
+   Foundation, Inc., 51 Franklin Street, Fifth Floor,
+   Boston, MA 02110-1301, USA.  */
+
+/* As a special exception, you may create a larger work that contains
+   part or all of the Bison parser skeleton and distribute that work
+   under terms of your choice, so long as that work isn't itself a
+   parser generator using the skeleton or a modified version thereof
+   as a parser skeleton.  Alternatively, if you modify or redistribute
+   the parser skeleton itself, you may (at your option) remove this
+   special exception, which will cause the skeleton and the resulting
+   Bison output files to be licensed under the GNU General Public
+   License without this special exception.
+
+   This special exception was added by the Free Software Foundation in
+   version 2.2 of Bison.  */
+
+/* Tokens.  */
+#ifndef YYTOKENTYPE
+# define YYTOKENTYPE
+   /* Put the tokens into the symbol table, so that GDB and other debuggers
+      know about them.  */
+   enum yytokentype {
+     BADTOK = 258,
+     SKIPTOK = 259,
+     CTOK_ELIPSIS = 260,
+     CASE = 261,
+     DEFAULT = 262,
+     CIF = 263,
+     CELSE = 264,
+     SWITCH = 265,
+     WHILE = 266,
+     DO = 267,
+     CFOR = 268,
+     GOTO = 269,
+     CONTINUE = 270,
+     BREAK = 271,
+     RETURN = 272,
+     TSEMI = 273,
+     TLBRACE = 274,
+     TRBRACE = 275,
+     TCOMMA = 276,
+     TCOLON = 277,
+     TASSIGN = 278,
+     TLPAREN = 279,
+     TRPAREN = 280,
+     TLSQBR = 281,
+     TRSQBR = 282,
+     TDOT = 283,
+     TAMPERSAND = 284,
+     TEXCL = 285,
+     TTILDE = 286,
+     TMINUS = 287,
+     TPLUS = 288,
+     TMULT = 289,
+     TDIV = 290,
+     TPERCENT = 291,
+     TLT = 292,
+     TGT = 293,
+     TCIRC = 294,
+     TBAR = 295,
+     TQUEST = 296,
+     CSIZEOF = 297,
+     CALIGNOF = 298,
+     CTYPEOF = 299,
+     ARROW_OP = 300,
+     CTYPEDEF = 301,
+     COFFSETOF = 302,
+     INC_OP = 303,
+     DEC_OP = 304,
+     LEFT_OP = 305,
+     RIGHT_OP = 306,
+     LE_OP = 307,
+     GE_OP = 308,
+     EQ_OP = 309,
+     NE_OP = 310,
+     AND_OP = 311,
+     OR_OP = 312,
+     MUL_ASSIGN = 313,
+     DIV_ASSIGN = 314,
+     MOD_ASSIGN = 315,
+     ADD_ASSIGN = 316,
+     SUB_ASSIGN = 317,
+     LEFT_ASSIGN = 318,
+     RIGHT_ASSIGN = 319,
+     AND_ASSIGN = 320,
+     XOR_ASSIGN = 321,
+     OR_ASSIGN = 322,
+     CSTRUCT = 323,
+     CUNION = 324,
+     CENUM = 325,
+     VA_ARG = 326,
+     VA_DCL = 327,
+     QWARN = 328,
+     QGLOBALS = 329,
+     QMODIFIES = 330,
+     QNOMODS = 331,
+     QCONSTANT = 332,
+     QFUNCTION = 333,
+     QITER = 334,
+     QDEFINES = 335,
+     QUSES = 336,
+     QALLOCATES = 337,
+     QSETS = 338,
+     QRELEASES = 339,
+     QPRECLAUSE = 340,
+     QPOSTCLAUSE = 341,
+     QINVARIANT = 342,
+     QALT = 343,
+     QUNDEF = 344,
+     QKILLED = 345,
+     QENDMACRO = 346,
+     LLMACRO = 347,
+     LLMACROITER = 348,
+     LLMACROEND = 349,
+     TENDMACRO = 350,
+     QDREVEALSTATE = 351,
+     QSWITCHBREAK = 352,
+     QLOOPBREAK = 353,
+     QINNERBREAK = 354,
+     QSAFEBREAK = 355,
+     QINNERCONTINUE = 356,
+     QFALLTHROUGH = 357,
+     QLINTNOTREACHED = 358,
+     QLINTFALLTHROUGH = 359,
+     QLINTFALLTHRU = 360,
+     QARGSUSED = 361,
+     QPRINTFLIKE = 362,
+     QLINTPRINTFLIKE = 363,
+     QSCANFLIKE = 364,
+     QMESSAGELIKE = 365,
+     QNOTREACHED = 366,
+     QCONST = 367,
+     QRESTRICT = 368,
+     QVOLATILE = 369,
+     QINLINE = 370,
+     QEXTENSION = 371,
+     QEXTERN = 372,
+     QSTATIC = 373,
+     QAUTO = 374,
+     QREGISTER = 375,
+     QOUT = 376,
+     QIN = 377,
+     QYIELD = 378,
+     QONLY = 379,
+     QTEMP = 380,
+     QSHARED = 381,
+     QREF = 382,
+     QUNIQUE = 383,
+     QCHECKED = 384,
+     QUNCHECKED = 385,
+     QCHECKEDSTRICT = 386,
+     QCHECKMOD = 387,
+     QKEEP = 388,
+     QKEPT = 389,
+     QPARTIAL = 390,
+     QSPECIAL = 391,
+     QOWNED = 392,
+     QDEPENDENT = 393,
+     QRETURNED = 394,
+     QEXPOSED = 395,
+     QNULL = 396,
+     QOBSERVER = 397,
+     QISNULL = 398,
+     QEXITS = 399,
+     QMAYEXIT = 400,
+     QNEVEREXIT = 401,
+     QTRUEEXIT = 402,
+     QFALSEEXIT = 403,
+     QLONG = 404,
+     QSIGNED = 405,
+     QUNSIGNED = 406,
+     QSHORT = 407,
+     QUNUSED = 408,
+     QSEF = 409,
+     QNOTNULL = 410,
+     QRELNULL = 411,
+     QABSTRACT = 412,
+     QNUMABSTRACT = 413,
+     QCONCRETE = 414,
+     QMUTABLE = 415,
+     QIMMUTABLE = 416,
+     QTRUENULL = 417,
+     QFALSENULL = 418,
+     QEXTERNAL = 419,
+     QREFCOUNTED = 420,
+     QREFS = 421,
+     QNEWREF = 422,
+     QTEMPREF = 423,
+     QKILLREF = 424,
+     QRELDEF = 425,
+     CGCHAR = 426,
+     CBOOL = 427,
+     CINT = 428,
+     CGFLOAT = 429,
+     CDOUBLE = 430,
+     CVOID = 431,
+     QANYTYPE = 432,
+     QINTEGRALTYPE = 433,
+     QUNSIGNEDINTEGRALTYPE = 434,
+     QSIGNEDINTEGRALTYPE = 435,
+     QNULLTERMINATED = 436,
+     QSETBUFFERSIZE = 437,
+     QSETSTRINGLENGTH = 438,
+     QMAXSET = 439,
+     QMAXREAD = 440,
+     QTESTINRANGE = 441,
+     TCAND = 442,
+     IDENTIFIER = 443,
+     NEW_IDENTIFIER = 444,
+     TYPE_NAME_OR_ID = 445,
+     CANNOTATION = 446,
+     CCONSTANT = 447,
+     ITER_NAME = 448,
+     ITER_ENDNAME = 449,
+     TYPE_NAME = 450,
+     METASTATE_NAME = 451
+   };
+#endif
+/* Tokens.  */
+#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 CTYPEOF 299
+#define ARROW_OP 300
+#define CTYPEDEF 301
+#define COFFSETOF 302
+#define INC_OP 303
+#define DEC_OP 304
+#define LEFT_OP 305
+#define RIGHT_OP 306
+#define LE_OP 307
+#define GE_OP 308
+#define EQ_OP 309
+#define NE_OP 310
+#define AND_OP 311
+#define OR_OP 312
+#define MUL_ASSIGN 313
+#define DIV_ASSIGN 314
+#define MOD_ASSIGN 315
+#define ADD_ASSIGN 316
+#define SUB_ASSIGN 317
+#define LEFT_ASSIGN 318
+#define RIGHT_ASSIGN 319
+#define AND_ASSIGN 320
+#define XOR_ASSIGN 321
+#define OR_ASSIGN 322
+#define CSTRUCT 323
+#define CUNION 324
+#define CENUM 325
+#define VA_ARG 326
+#define VA_DCL 327
+#define QWARN 328
+#define QGLOBALS 329
+#define QMODIFIES 330
+#define QNOMODS 331
+#define QCONSTANT 332
+#define QFUNCTION 333
+#define QITER 334
+#define QDEFINES 335
+#define QUSES 336
+#define QALLOCATES 337
+#define QSETS 338
+#define QRELEASES 339
+#define QPRECLAUSE 340
+#define QPOSTCLAUSE 341
+#define QINVARIANT 342
+#define QALT 343
+#define QUNDEF 344
+#define QKILLED 345
+#define QENDMACRO 346
+#define LLMACRO 347
+#define LLMACROITER 348
+#define LLMACROEND 349
+#define TENDMACRO 350
+#define QDREVEALSTATE 351
+#define QSWITCHBREAK 352
+#define QLOOPBREAK 353
+#define QINNERBREAK 354
+#define QSAFEBREAK 355
+#define QINNERCONTINUE 356
+#define QFALLTHROUGH 357
+#define QLINTNOTREACHED 358
+#define QLINTFALLTHROUGH 359
+#define QLINTFALLTHRU 360
+#define QARGSUSED 361
+#define QPRINTFLIKE 362
+#define QLINTPRINTFLIKE 363
+#define QSCANFLIKE 364
+#define QMESSAGELIKE 365
+#define QNOTREACHED 366
+#define QCONST 367
+#define QRESTRICT 368
+#define QVOLATILE 369
+#define QINLINE 370
+#define QEXTENSION 371
+#define QEXTERN 372
+#define QSTATIC 373
+#define QAUTO 374
+#define QREGISTER 375
+#define QOUT 376
+#define QIN 377
+#define QYIELD 378
+#define QONLY 379
+#define QTEMP 380
+#define QSHARED 381
+#define QREF 382
+#define QUNIQUE 383
+#define QCHECKED 384
+#define QUNCHECKED 385
+#define QCHECKEDSTRICT 386
+#define QCHECKMOD 387
+#define QKEEP 388
+#define QKEPT 389
+#define QPARTIAL 390
+#define QSPECIAL 391
+#define QOWNED 392
+#define QDEPENDENT 393
+#define QRETURNED 394
+#define QEXPOSED 395
+#define QNULL 396
+#define QOBSERVER 397
+#define QISNULL 398
+#define QEXITS 399
+#define QMAYEXIT 400
+#define QNEVEREXIT 401
+#define QTRUEEXIT 402
+#define QFALSEEXIT 403
+#define QLONG 404
+#define QSIGNED 405
+#define QUNSIGNED 406
+#define QSHORT 407
+#define QUNUSED 408
+#define QSEF 409
+#define QNOTNULL 410
+#define QRELNULL 411
+#define QABSTRACT 412
+#define QNUMABSTRACT 413
+#define QCONCRETE 414
+#define QMUTABLE 415
+#define QIMMUTABLE 416
+#define QTRUENULL 417
+#define QFALSENULL 418
+#define QEXTERNAL 419
+#define QREFCOUNTED 420
+#define QREFS 421
+#define QNEWREF 422
+#define QTEMPREF 423
+#define QKILLREF 424
+#define QRELDEF 425
+#define CGCHAR 426
+#define CBOOL 427
+#define CINT 428
+#define CGFLOAT 429
+#define CDOUBLE 430
+#define CVOID 431
+#define QANYTYPE 432
+#define QINTEGRALTYPE 433
+#define QUNSIGNEDINTEGRALTYPE 434
+#define QSIGNEDINTEGRALTYPE 435
+#define QNULLTERMINATED 436
+#define QSETBUFFERSIZE 437
+#define QSETSTRINGLENGTH 438
+#define QMAXSET 439
+#define QMAXREAD 440
+#define QTESTINRANGE 441
+#define TCAND 442
+#define IDENTIFIER 443
+#define NEW_IDENTIFIER 444
+#define TYPE_NAME_OR_ID 445
+#define CANNOTATION 446
+#define CCONSTANT 447
+#define ITER_NAME 448
+#define ITER_ENDNAME 449
+#define TYPE_NAME 450
+#define METASTATE_NAME 451
+
+
+
+
+#if ! defined cgrammar_YYSTYPE && ! defined cgrammar_YYSTYPE_IS_DECLARED
+typedef union cgrammar_YYSTYPE
+
 {
- lltok tok;
- int count;
- specialClauseKind sck;
- qual typequal;
- qualList tquallist;
- ctype ctyp;
- sRef sr;
- /*@only@*/ qtype qtyp;
- /*@only@*/ cstring cname;
- /*@only@*/ idDecl ntyp;
- /*@only@*/ idDeclList ntyplist;
- /*@only@*/ uentryList flist;
- /*@owned@*/ uentryList entrylist;
- /*@observer@*/ /*@dependent@*/ uentry entry;
- /*@only@*/ uentry oentry;
- /*@only@*/ exprNode expr;
- /*@only@*/ enumNameList enumnamelist;
- /*@only@*/ exprNodeList alist;
- /*@only@*/ sRefSet srset; 
- /*@only@*/ cstringList cstringlist;
-} 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	QSETSTRINGLENGTH	432
-#define	IDENTIFIER	433
-#define	NEW_IDENTIFIER	434
-#define	TYPE_NAME_OR_ID	435
-#define	CCONSTANT	436
-#define	ITER_NAME	437
-#define	ITER_ENDNAME	438
-#define	TYPE_NAME	439
-
-
-extern YYSTYPE yylval;
+  lltok tok;
+  int count;
+  qual typequal;
+  qualList tquallist;
+  ctype ctyp;
+  /*@dependent@*/ sRef sr;
+  /*@only@*/ sRef osr;
+
+  /*@only@*/ functionClauseList funcclauselist;
+  /*@only@*/ functionClause funcclause;  
+  /*@only@*/ flagSpec flagspec;
+  /*@only@*/ globalsClause globsclause;
+  /*@only@*/ modifiesClause modsclause;
+  /*@only@*/ warnClause warnclause;
+  /*@only@*/ stateClause stateclause;
+  /*@only@*/ pointers pointers;
+  /*@only@*/ functionConstraint fcnconstraint; 
+
+  /*@only@*/ metaStateConstraint msconstraint;
+  /*@only@*/ metaStateSpecifier msspec;
+  /*@only@*/ metaStateExpression msexpr;
+  /*@observer@*/ metaStateInfo msinfo;
+
+  /*@only@*/ sRefList srlist;
+  /*@only@*/ globSet globset;
+  /*@only@*/ qtype qtyp;
+  /*@only@*/ cstring cname;
+  /*@observer@*/ annotationInfo annotation;
+  /*@only@*/ idDecl ntyp;
+  /*@only@*/ idDeclList ntyplist;
+  /*@only@*/ uentryList flist;
+  /*@owned@*/ uentryList entrylist;
+  /*@observer@*/ /*@dependent@*/ uentry entry;
+  /*@only@*/ uentry oentry;
+  /*@only@*/ exprNode expr;
+  /*@only@*/ enumNameList enumnamelist;
+  /*@only@*/ exprNodeList exprlist;
+  /*@only@*/ sRefSet srset; 
+  /*@only@*/ cstringList cstringlist;
+
+  /*drl
+    added 1/19/2001
+  */
+  constraint con;
+  constraintList conL;
+  constraintExpr conE;
+  /* drl */  
+}
+/* Line 1529 of yacc.c.  */
+
+	cgrammar_YYSTYPE;
+# define yystype cgrammar_YYSTYPE /* obsolescent; will be withdrawn */
+# define cgrammar_YYSTYPE_IS_DECLARED 1
+# define cgrammar_YYSTYPE_IS_TRIVIAL 1
+#endif
+
+extern cgrammar_YYSTYPE yylval;
+
+/*
+** Resets all flags in bison.head
+*/
+
+
+/*@=allmacros@*/
+/*@=boolint@*/
+/*@=charint@*/
+/*@=macroparams@*/
+/*@=macroundef@*/
+/*@=unreachable@*/
+/*@=macrospec@*/
+/*@=varuse@*/
+/*@=ignorequals@*/
+/*@=macrostmt@*/
+/*@=noeffect@*/
+/*@=shadow@*/
+/*@=exitarg@*/
+/*@=macroredef@*/
+/*@=uniondef@*/
+/*@=compdef@*/
+/*@=matchfields@*/
+/*@=exportlocal@*/
+/*@=evalorderuncon@*/
+/*@=exportheader@*/
+/*@=typeuse@*/
+/*@=redecl@*/
+/*@=redef@*/
+/*@=noparams@*/
+/*@=ansireserved@*/
+/*@=fielduse@*/
+/*@=ifblock@*/
+/*@=elseifcomplete@*/
+/*@=whileblock@*/
+/*@=forblock@*/
+/*@=branchstate@*/
+/*@=readonlytrans@*/
+/*@=namechecks@*/
+/*@=usedef@*/
+/*@=systemunrecog@*/
+/*@=dependenttrans@*/
+/*@=unqualifiedtrans@*/
+/*@=declundef@*/
+
+
+/*drl added 11/27/2001*/
+/*@=bounds@*/
+
+/*drl added 12/11/2002*/
+/*@=type@*/