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
function_hooks: update comment explaining various function hooks
[smatch.git]
/
validation
/
sm_implied3.c
blob
ccad9f9de1be2c12142165d2843f8a63526c0aeb
1
#define NULL ((void *)0)
2
3
struct
ture
{
4
int
*
a
;
5
};
6
7
struct
ture
*
b
;
8
struct
ture
*
c
;
9
10
void
func
(
void
)
11
{
12
struct
ture
*
ab
;
13
int
ret
=
0
;
14
15
if
(
b
) {
16
ret
= -
1
;
17
goto
foo
;
18
}
19
20
if
(
c
) {}
21
22
ab
=
some_func
();
23
if
(
NULL
==
ab
) {
24
ret
= -
1
;
25
goto
foo
;
26
}
27
foo
:
28
if
(
ret
) {
29
return
;
30
}
31
ab
->
a
=
1
;
32
}
33
/*
34
* check-name: Smatch implied #3
35
* check-command: smatch sm_implied3.c
36
*/