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
/
bison.reset
blob
5c0ab748ebbbdfdff6c7dd368fc3dba718cd9dd2
1
/*
2
** Resets all flags in bison.head
3
*/
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
/*@=declundef@*/
44
45
46
/*drl added 11/27/2001*/
47
/*@=bounds@*/
48
49
/*drl added 12/11/2002*/
50
/*@=type@*/
51
52
/*@=enummemuse@*/