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
Various minor fixes for compiler/linter (other then splint itself) warnings.
[splint-patched.git]
/
test
/
enumtag.c
blob
6e8912073b7d0e3bbfb336423b4c44d4f55b191a
1
typedef
struct
s_st st
;
2
3
struct
s_st
{
4
int
x
;
5
} ;
6
7
8
typedef
enum
e_tag tag
;
9
10
enum
e_tag r
;
11
12
enum
e_tag
{
13
E_X
,
E_Y
,
E_Z
14
} ;
15
16
int
f
(
tag e
)
17
{
18
if
(
e
==
E_X
)
19
{
20
return
3
;
21
}
22
else
23
{
24
enum
e_tag h
=
E_Z
;
25
26
if
(
h
==
e
)
27
{
28
return
7
;
29
}
30
}
31
32
return
12
;
33
}
34
35
enum
e_tag
{
36
E_M
37
} ;