repo.or.cz
/
splint-patched.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
First part of transition from not-function header.
[splint-patched.git]
/
src
/
flex.reset
blob
0ef79dec91392b7fefa6893c9209b792b7c63696
1
/*
2
** Resets flags set by flex.head.
3
*/
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
/*@=redecl@*/
51
/*@=retvalother@*/
52
53
# ifdef OSF
54
# define __GNUC__
55
# endif
56