repo.or.cz
/
smatch.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
smatch_data/kernel.unreachable.ignore: add BUG(), WARN_ON() and others
[smatch.git]
/
validation
/
crazy03.c
blob
042033790a849cde83d339da63ff46f912268338
1
extern
char
a
;
2
extern
int
b
;
3
extern
char
*
c
, *
d
;
4
extern
void
e
(
void
);
5
extern
void
f
(
char
*);
6
7
int
g
(
int
h
);
8
int
g
(
int
h
)
9
{
10
if
(
h
>
1
)
11
e
();
12
if
(
h
>
1
)
13
return
0
;
14
for
(;;) {
15
if
(
a
) {
16
while
(
c
) ;
17
b
=
0
;
18
}
else
{
19
c
= (
void
*)
0
;
20
b
=
1
;
21
}
22
if
(
b
) {
23
f
(
c
);
24
continue
;
25
}
26
d
=
c
;
27
while
(*
c
++) ;
28
}
29
}
30
31
/*
32
* check-name: crazy03.c
33
*/