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
Don't try calling lsl when file is missing.
[splint-patched.git]
/
test
/
enuminitredeftype.c
blob
4a8321cc0a920673ec6c8d101577567dc8f3d8b7
1
/* redefinition of datatype by enum field */
2
3
typedef
struct
{
4
int
i
;
5
}
t
;
6
7
enum
e
{
8
s
=
0
,
9
t
10
};
11
12
/* redefinition of datatype by enum field inside function */
13
14
typedef
struct
{
15
char
f_c
;
16
unsigned int
f_ui
;
17
}
f_t
;
18
19
bool
20
f
(
int
f_i
)
21
{
22
enum
f_e
{
23
f_s
=
0
,
24
f_t
,
25
f_x
26
};
27
28
return
f_i
/
2
==
f_x
;
29
}
30