| 864101ed |
1 | /* |
| 2 | ** Inserted at beginning of c files generated by bison |
| 3 | ** REMEMBER: Change bison.reset too. |
| 4 | */ |
| 5 | |
| 6 | /*@-allmacros@*/ |
| 7 | /*@+boolint@*/ |
| 8 | /*@+charint@*/ |
| 9 | /*@-macroparams@*/ |
| 10 | /*@-macroundef@*/ |
| 11 | /*@-unreachable@*/ |
| 12 | /*@-macrospec@*/ |
| 13 | /*@-varuse@*/ |
| 14 | /*@+ignorequals@*/ |
| 15 | /*@-macrostmt@*/ |
| 16 | /*@-noeffect@*/ |
| 17 | /*@-shadow@*/ |
| 18 | /*@-exitarg@*/ |
| 19 | /*@-macroredef@*/ |
| 20 | /*@-uniondef@*/ |
| 21 | /*@-compdef@*/ |
| 22 | /*@-matchfields@*/ |
| 23 | /*@-exportlocal@*/ |
| 24 | /*@-evalorderuncon@*/ |
| 25 | /*@-exportheader@*/ |
| 26 | /*@-typeuse@*/ |
| 27 | /*@-redecl@*/ |
| 28 | /*@-redef@*/ |
| 29 | /*@-noparams@*/ |
| 30 | /*@-ansireserved@*/ |
| 31 | /*@-fielduse@*/ |
| 32 | /*@-ifblock@*/ |
| 33 | /*@-elseifcomplete@*/ |
| 34 | /*@-whileblock@*/ |
| 35 | /*@-forblock@*/ |
| 36 | /*@-branchstate@*/ |
| 37 | /*@-readonlytrans@*/ |
| 38 | /*@-namechecks@*/ |
| 39 | /*@-usedef@*/ |
| 40 | /*@-systemunrecog@*/ |
| 41 | /*@-dependenttrans@*/ |
| 42 | /*@-unqualifiedtrans@*/ |
| 43 | /*@-nullassign@*/ |
| 44 | /*@-nullpass@*/ |
| 45 | /*@-nullptrarith*/ |
| 46 | /*@-usereleased@*/ |
| 47 | /*@-declundef@*/ |
| 48 | |
| 49 | /*drl added 11/27/2001*/ |
| 50 | /*@-bounds@*/ |
| 51 | /* < end of bison.head > */ |
| 52 | |
| 53 | typedef union |
| 54 | { |
| 55 | ltoken ltok; /* a leaf is also an ltoken */ |
| 56 | qual typequal; |
| 57 | unsigned int count; |
| 58 | /*@only@*/ ltokenList ltokenList; |
| 59 | /*@only@*/ abstDeclaratorNode abstDecl; |
| 60 | /*@only@*/ declaratorNode declare; |
| 61 | /*@only@*/ declaratorNodeList declarelist; |
| 62 | /*@only@*/ typeExpr typeexpr; |
| 63 | /*@only@*/ arrayQualNode array; |
| 64 | /*@only@*/ quantifierNode quantifier; |
| 65 | /*@only@*/ quantifierNodeList quantifiers; |
| 66 | /*@only@*/ varNode var; |
| 67 | /*@only@*/ varNodeList vars; |
| 68 | /*@only@*/ storeRefNode storeref; |
| 69 | /*@only@*/ storeRefNodeList storereflist; |
| 70 | /*@only@*/ termNode term; |
| 71 | /*@only@*/ termNodeList termlist; |
| 72 | /*@only@*/ programNode program; |
| 73 | /*@only@*/ stmtNode stmt; |
| 74 | /*@only@*/ claimNode claim; |
| 75 | /*@only@*/ typeNode type; |
| 76 | /*@only@*/ iterNode iter; |
| 77 | /*@only@*/ fcnNode fcn; |
| 78 | /*@only@*/ fcnNodeList fcns; |
| 79 | /*@only@*/ letDeclNode letdecl; |
| 80 | /*@only@*/ letDeclNodeList letdecls; |
| 81 | /*@only@*/ lclPredicateNode lclpredicate; |
| 82 | /*@only@*/ modifyNode modify; |
| 83 | /*@only@*/ paramNode param; |
| 84 | /*@only@*/ paramNodeList paramlist; |
| 85 | /*@only@*/ declaratorInvNodeList declaratorinvs; |
| 86 | /*@only@*/ declaratorInvNode declaratorinv; |
| 87 | /*@only@*/ abstBodyNode abstbody; |
| 88 | /*@only@*/ abstractNode abstract; |
| 89 | /*@only@*/ exposedNode exposed; |
| 90 | /* taggedUnionNode taggedunion; */ |
| 91 | /*@only@*/ globalList globals; |
| 92 | /*@only@*/ constDeclarationNode constdeclaration; |
| 93 | /*@only@*/ varDeclarationNode vardeclaration; |
| 94 | /*@only@*/ varDeclarationNodeList vardeclarationlist; |
| 95 | /*@only@*/ initDeclNodeList initdecls; |
| 96 | /*@only@*/ initDeclNode initdecl; |
| 97 | /*@only@*/ stDeclNodeList structdecls; |
| 98 | /*@only@*/ stDeclNode structdecl; |
| 99 | /*@only@*/ strOrUnionNode structorunion; |
| 100 | /*@only@*/ enumSpecNode enumspec; |
| 101 | /*@only@*/ lclTypeSpecNode lcltypespec; |
| 102 | /*@only@*/ typeNameNode typname; |
| 103 | /*@only@*/ opFormNode opform; |
| 104 | /*@only@*/ sigNode signature; |
| 105 | /*@only@*/ nameNode name; |
| 106 | /*@only@*/ typeNameNodeList namelist; |
| 107 | /*@only@*/ replaceNode replace; |
| 108 | /*@only@*/ replaceNodeList replacelist; |
| 109 | /*@only@*/ renamingNode renaming; |
| 110 | /*@only@*/ traitRefNode traitref; |
| 111 | /*@only@*/ traitRefNodeList traitreflist; |
| 112 | /*@only@*/ importNode import; |
| 113 | /*@only@*/ importNodeList importlist; |
| 114 | /*@only@*/ interfaceNode iface; |
| 115 | /*@only@*/ interfaceNodeList interfacelist; |
| 116 | /*@only@*/ CTypesNode ctypes; |
| 117 | /*@-redef@*/ |
| 118 | } YYSTYPE; |
| 119 | #define simpleOp 257 |
| 120 | #define PREFIX_OP 258 |
| 121 | #define POSTFIX_OP 259 |
| 122 | #define LLT_MULOP 260 |
| 123 | #define LLT_SEMI 261 |
| 124 | #define LLT_VERTICALBAR 262 |
| 125 | #define ITERATION_OP 263 |
| 126 | #define LLT_LPAR 264 |
| 127 | #define LLT_LBRACKET 265 |
| 128 | #define selectSym 266 |
| 129 | #define LLT_IF_THEN_ELSE 267 |
| 130 | #define logicalOp 268 |
| 131 | #define eqSepSym 269 |
| 132 | #define equationSym 270 |
| 133 | #define commentSym 271 |
| 134 | #define LLT_WHITESPACE 272 |
| 135 | #define LLT_EOL 273 |
| 136 | #define LLT_TYPEDEF_NAME 274 |
| 137 | #define quantifierSym 275 |
| 138 | #define openSym 276 |
| 139 | #define closeSym 277 |
| 140 | #define sepSym 278 |
| 141 | #define simpleId 279 |
| 142 | #define mapSym 280 |
| 143 | #define markerSym 281 |
| 144 | #define preSym 282 |
| 145 | #define postSym 283 |
| 146 | #define anySym 284 |
| 147 | #define LLT_COLON 285 |
| 148 | #define LLT_COMMA 286 |
| 149 | #define LLT_EQUALS 287 |
| 150 | #define LLT_LBRACE 288 |
| 151 | #define LLT_RBRACE 289 |
| 152 | #define LLT_RBRACKET 290 |
| 153 | #define LLT_RPAR 291 |
| 154 | #define LLT_QUOTE 292 |
| 155 | #define eqOp 293 |
| 156 | #define LLT_CCHAR 294 |
| 157 | #define LLT_CFLOAT 295 |
| 158 | #define LLT_CINTEGER 296 |
| 159 | #define LLT_LCSTRING 297 |
| 160 | #define LLT_ALL 298 |
| 161 | #define LLT_ANYTHING 299 |
| 162 | #define LLT_BE 300 |
| 163 | #define LLT_BODY 301 |
| 164 | #define LLT_CLAIMS 302 |
| 165 | #define LLT_CHECKS 303 |
| 166 | #define LLT_CONSTANT 304 |
| 167 | #define LLT_ELSE 305 |
| 168 | #define LLT_ENSURES 306 |
| 169 | #define LLT_FOR 307 |
| 170 | #define LLT_FRESH 308 |
| 171 | #define LLT_IF 309 |
| 172 | #define LLT_IMMUTABLE 310 |
| 173 | #define LLT_IMPORTS 311 |
| 174 | #define LLT_CONSTRAINT 312 |
| 175 | #define LLT_ISSUB 313 |
| 176 | #define LLT_LET 314 |
| 177 | #define LLT_MODIFIES 315 |
| 178 | #define LLT_MUTABLE 316 |
| 179 | #define LLT_NOTHING 317 |
| 180 | #define LLT_INTERNAL 318 |
| 181 | #define LLT_FILESYS 319 |
| 182 | #define LLT_OBJ 320 |
| 183 | #define LLT_OUT 321 |
| 184 | #define LLT_SEF 322 |
| 185 | #define LLT_ONLY 323 |
| 186 | #define LLT_PARTIAL 324 |
| 187 | #define LLT_OWNED 325 |
| 188 | #define LLT_DEPENDENT 326 |
| 189 | #define LLT_KEEP 327 |
| 190 | #define LLT_KEPT 328 |
| 191 | #define LLT_TEMP 329 |
| 192 | #define LLT_SHARED 330 |
| 193 | #define LLT_UNIQUE 331 |
| 194 | #define LLT_UNUSED 332 |
| 195 | #define LLT_EXITS 333 |
| 196 | #define LLT_MAYEXIT 334 |
| 197 | #define LLT_NEVEREXIT 335 |
| 198 | #define LLT_TRUEEXIT 336 |
| 199 | #define LLT_FALSEEXIT 337 |
| 200 | #define LLT_UNDEF 338 |
| 201 | #define LLT_KILLED 339 |
| 202 | #define LLT_CHECKMOD 340 |
| 203 | #define LLT_CHECKED 341 |
| 204 | #define LLT_UNCHECKED 342 |
| 205 | #define LLT_CHECKEDSTRICT 343 |
| 206 | #define LLT_TRUENULL 344 |
| 207 | #define LLT_FALSENULL 345 |
| 208 | #define LLT_LNULL 346 |
| 209 | #define LLT_LNOTNULL 347 |
| 210 | #define LLT_RETURNED 348 |
| 211 | #define LLT_OBSERVER 349 |
| 212 | #define LLT_EXPOSED 350 |
| 213 | #define LLT_REFCOUNTED 351 |
| 214 | #define LLT_REFS 352 |
| 215 | #define LLT_RELNULL 353 |
| 216 | #define LLT_RELDEF 354 |
| 217 | #define LLT_KILLREF 355 |
| 218 | #define LLT_NULLTERMINATED 356 |
| 219 | #define LLT_TEMPREF 357 |
| 220 | #define LLT_NEWREF 358 |
| 221 | #define LLT_PRIVATE 359 |
| 222 | #define LLT_REQUIRES 360 |
| 223 | #define LLT_RESULT 361 |
| 224 | #define LLT_SIZEOF 362 |
| 225 | #define LLT_SPEC 363 |
| 226 | #define LLT_TAGGEDUNION 364 |
| 227 | #define LLT_THEN 365 |
| 228 | #define LLT_TYPE 366 |
| 229 | #define LLT_TYPEDEF 367 |
| 230 | #define LLT_UNCHANGED 368 |
| 231 | #define LLT_USES 369 |
| 232 | #define LLT_CHAR 370 |
| 233 | #define LLT_CONST 371 |
| 234 | #define LLT_DOUBLE 372 |
| 235 | #define LLT_ENUM 373 |
| 236 | #define LLT_FLOAT 374 |
| 237 | #define LLT_INT 375 |
| 238 | #define LLT_ITER 376 |
| 239 | #define LLT_YIELD 377 |
| 240 | #define LLT_LONG 378 |
| 241 | #define LLT_SHORT 379 |
| 242 | #define LLT_SIGNED 380 |
| 243 | #define LLT_UNKNOWN 381 |
| 244 | #define LLT_STRUCT 382 |
| 245 | #define LLT_TELIPSIS 383 |
| 246 | #define LLT_UNION 384 |
| 247 | #define LLT_UNSIGNED 385 |
| 248 | #define LLT_VOID 386 |
| 249 | #define LLT_VOLATILE 387 |
| 250 | #define LLT_PRINTFLIKE 388 |
| 251 | #define LLT_SCANFLIKE 389 |
| 252 | #define LLT_MESSAGELIKE 390 |
| 253 | |
| 254 | |
| 255 | extern YYSTYPE yllval; |
| 256 | /* |
| 257 | ** Resets all flags in bison.head |
| 258 | */ |
| 259 | |
| 260 | |
| 261 | /*@=allmacros@*/ |
| 262 | /*@=boolint@*/ |
| 263 | /*@=charint@*/ |
| 264 | /*@=macroparams@*/ |
| 265 | /*@=macroundef@*/ |
| 266 | /*@=unreachable@*/ |
| 267 | /*@=macrospec@*/ |
| 268 | /*@=varuse@*/ |
| 269 | /*@=ignorequals@*/ |
| 270 | /*@=macrostmt@*/ |
| 271 | /*@=noeffect@*/ |
| 272 | /*@=shadow@*/ |
| 273 | /*@=exitarg@*/ |
| 274 | /*@=macroredef@*/ |
| 275 | /*@=uniondef@*/ |
| 276 | /*@=compdef@*/ |
| 277 | /*@=matchfields@*/ |
| 278 | /*@=exportlocal@*/ |
| 279 | /*@=evalorderuncon@*/ |
| 280 | /*@=exportheader@*/ |
| 281 | /*@=typeuse@*/ |
| 282 | /*@=redecl@*/ |
| 283 | /*@=redef@*/ |
| 284 | /*@=noparams@*/ |
| 285 | /*@=ansireserved@*/ |
| 286 | /*@=fielduse@*/ |
| 287 | /*@=ifblock@*/ |
| 288 | /*@=elseifcomplete@*/ |
| 289 | /*@=whileblock@*/ |
| 290 | /*@=forblock@*/ |
| 291 | /*@=branchstate@*/ |
| 292 | /*@=readonlytrans@*/ |
| 293 | /*@=namechecks@*/ |
| 294 | /*@=usedef@*/ |
| 295 | /*@=systemunrecog@*/ |
| 296 | /*@=dependenttrans@*/ |
| 297 | /*@=unqualifiedtrans@*/ |
| 298 | /*@=declundef@*/ |
| 299 | |
| 300 | |
| 301 | /*drl added 11/27/2001*/ |
| 302 | /*@=bounds@*/ |
andersk / splint.git / blame