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
kernel.unreachable.ignore: add scoped_guard()
[smatch.git]
/
validation
/
sm_implied18.c
blob
db148c916c8bbb11e3429ae86308be111cf01b61
1
#include
"check_debug.h"
2
3
int
a
,
b
;
4
5
int
frob
(
int
*
data
)
6
{
7
if
(
a
)
8
return
0
;
9
if
(
b
)
10
return
-
1
;
11
*
data
=
42
;
12
return
1
;
13
}
14
15
void
test
(
void
)
16
{
17
int
x
= -
1
;
18
int
ret
;
19
20
ret
=
frob
(&
x
);
21
if
(
ret
<
0
)
22
return
;
23
if
(
ret
==
0
)
24
return
;
25
__smatch_implied
(
x
);
26
}
27
28
/*
29
* check-name: smatch implied #18
30
* check-command: smatch -I.. sm_implied18.c
31
*
32
* check-output-start
33
sm_implied18.c:25 test() implied: x = '42'
34
* check-output-end
35
*/