src/flex.head

   1 /*
   2 ** Inserted at beginning of c files generated by flex
   3 ** REMEMBER:  Change flex.reset too.
   4 */
   5
   6 /*@-allmacros@*/
   7 /*@-pred@*/
   8 /*@-globstate@*/
   9 /*@-null@*/
  10 /*@+boolint@*/
  11 /*@+charint@*/
  12 /*@-macrospec@*/
  13 /*@-macroredef@*/
  14 /*@-exitarg@*/
  15 /*@-compdef@*/
  16 /*@-uniondef@*/
  17 /*@+ignorequals@*/
  18 /*@-noreturn@*/
  19 /*@-mustfree@*/
  20 /*@-compdestroy@*/
  21 /*@-branchstate@*/
  22 /*@-unreachable@*/
  23 /*@-varuse@*/
  24 /*@-fcnuse@*/
  25 /*@-exportlocal@*/
  26 /*@-evalorderuncon@*/
  27 /*@-exportheader@*/
  28 /*@-redecl@*/
  29 /*@-loopswitchbreak@*/
  30 /*@-switchswitchbreak@*/
  31 /*@-sizeoftype@*/
  32 /*@-czechfcns@*/
  33 /*@-noparams@*/
  34 /*@-ansireserved@*/
  35 /*@-ifblock@*/
  36 /*@-whileblock@*/
  37 /*@-forblock@*/
  38 /*@-elseifcomplete@*/
  39 /*@+ptrnegate@*/
  40 /*@-onlytrans@*/
  41 /*@-temptrans@*/
  42 /*@-immediatetrans@*/
  43 /*@-namechecks@*/
  44 /*@+matchanyintegral@*/
  45 /*@-statictrans@*/
  46 /*@-compmempass@*/
  47 /*@-forempty@*/
  48 /*@-evalorder@*/
  49 /*@-retalias@*/
  50 /*@-dependenttrans@*/
  51 /*@-noeffect@*/
  52 /*@-protoparammatch@*/
  53 /*@-casebreak@*/
  54 /*@-retvalother@*/
  55
  56 /*drl added 11/27/2001*/
  57
  58
  59 # ifdef __LCLINT__
  60 /*@-redecl@*/ /*@-type@*/
  61 extern int lsllex (void);
  62 /*@=redecl@*/ /*@=type@*/
  63
  64 /*
  65 ** Need to do this because ECHO is defined by the Posix library.
  66 ** flex shouldn't use it.
  67 */
  68
  69 /*@notfunction@*/
  70 # define ECHO \
  71   fwrite (yytext, yyleng, 1, yyout)
  72
  73 # ifndef DEFFILENO
  74 extern /*@external@*/ int fileno (/* FILE *stream */);
  75 # define DEFFILENO
  76 # endif
  77 # endif
  78
  79 # ifdef OSF
  80 # undef __GNUC__
  81 # endif
  82
  83 /*@-redecl@*/
  84
  85 /* < end of flex.head > */
  86