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
Some consistency changes to library & headers flags.
[splint-patched.git]
/
test
/
unused.c
blob
02123d95294db88adc43d16b8a5b3d92d5056b3f
1
typedef
int
*
dumbtype
;
2
3
typedef
struct
_st
4
{
5
int
x
;
6
int
y
;
7
int
dumb
;
8
struct
_inner
9
{
10
int
l
;
11
int
m
;
12
int
silly
;
13
}
inner
;
14
}
st
;
15
16
extern
int
undef
(
int
x
);
17
static int
r
(
void
);
18
19
static int
f
(
int
x
,
st stx
)
20
{
21
return
(
x
+
stx
.
x
+
stx
.
y
+
stx
.
inner
.
l
+
stx
.
inner
.
m
+
r
());
22
}
23
24
static int
r
(
void
)
25
{
26
return
undef
(
3
);
27
}
28