src/cgrammar.c.der

   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 /*
  54 ** Resets all flags in bison.head
  55 */
  56
  57
  58 /*@=allmacros@*/
  59 /*@=boolint@*/
  60 /*@=charint@*/
  61 /*@=macroparams@*/
  62 /*@=macroundef@*/
  63 /*@=unreachable@*/
  64 /*@=macrospec@*/
  65 /*@=varuse@*/
  66 /*@=ignorequals@*/
  67 /*@=macrostmt@*/
  68 /*@=noeffect@*/
  69 /*@=shadow@*/
  70 /*@=exitarg@*/
  71 /*@=macroredef@*/
  72 /*@=uniondef@*/
  73 /*@=compdef@*/
  74 /*@=matchfields@*/
  75 /*@=exportlocal@*/
  76 /*@=evalorderuncon@*/
  77 /*@=exportheader@*/
  78 /*@=typeuse@*/
  79 /*@=redecl@*/
  80 /*@=redef@*/
  81 /*@=noparams@*/
  82 /*@=ansireserved@*/
  83 /*@=fielduse@*/
  84 /*@=ifblock@*/
  85 /*@=elseifcomplete@*/
  86 /*@=whileblock@*/
  87 /*@=forblock@*/
  88 /*@=branchstate@*/
  89 /*@=readonlytrans@*/
  90 /*@=namechecks@*/
  91 /*@=usedef@*/
  92 /*@=systemunrecog@*/
  93 /*@=dependenttrans@*/
  94 /*@=unqualifiedtrans@*/
  95 /*@=declundef@*/
  96
  97
  98 /*drl added 11/27/2001*/
  99 /*@=bounds@*/