]>
Commit | Line | Data |
---|---|---|
885824d3 | 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@*/ | |
6fcd0b1e | 55 | /*@-exportheader@*/ |
885824d3 | 56 | |
e5508969 | 57 | /*drl added 11/27/2001*/ |
e5508969 | 58 | |
59 | ||
885824d3 | 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 |