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
/
sm_compare17.c
blob
41f8ec657081196244a2ebfb65ad004e0722eab6
1
#include
"check_debug.h"
2
3
int
frob
();
4
5
int
xxx
;
6
static int
options_write
(
void
)
7
{
8
int
a
= -
1
;
9
int
found
=
0
;
10
11
if
(
xxx
<
0
)
12
return
;
13
while
(
frob
()) {
14
if
(++
a
==
xxx
) {
15
found
=
1
;
16
break
;
17
}
18
}
19
if
(!
found
)
20
__smatch_compare
(
a
,
xxx
);
21
}
22
23
/*
24
* check-name: smatch compare #17
25
* check-command: smatch -I.. sm_compare17.c
26
*
27
* check-output-start
28
sm_compare17.c:20 options_write() a < xxx
29
* check-output-end
30
*/