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 /*@-exportheader@*/
  56
  57 /*drl added 11/27/2001*/
  58
  59
  60 # ifdef __LCLINT__
  61 /*@-redecl@*/ /*@-type@*/
  62 extern int lsllex (void);
  63 /*@=redecl@*/ /*@=type@*/
  64
  65 /*
  66 ** Need to do this because ECHO is defined by the Posix library.
  67 ** flex shouldn't use it.
  68 */
  69
  70 /*@notfunction@*/
  71 # define ECHO \
  72   fwrite (yytext, yyleng, 1, yyout)
  73
  74 # ifndef DEFFILENO
  75 extern /*@external@*/ int fileno (/* FILE *stream */);
  76 # define DEFFILENO
  77 # endif
  78 # endif
  79
  80 # ifdef OSF
  81 # undef __GNUC__
  82 # endif
  83
  84 /*@-redecl@*/
  85
  86 /* < end of flex.head > */
  87