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
absolute: track the absolute limits that variables can be
[smatch.git]
/
validation
/
sm_implied.c
blob
60058901ccd44d024bc0df4d2fe2c1451abb4187
1
struct
ture
{
2
int
a
;
3
};
4
5
struct
ture
*
a
;
6
struct
ture
*
b
;
7
8
void
func
(
void
)
9
{
10
struct
ture
*
aa
;
11
12
b
=
0
;
13
if
(
a
)
14
goto
x
;
15
aa
=
returns_nonnull
();
16
b
=
1
;
17
x
:
18
if
(
b
)
19
aa
->
a
=
1
;
20
aa
->
a
=
1
;
21
return
;
22
}
23
/*
24
* check-name: Smatch implied #1
25
* check-command: smatch sm_implied.c
26
*
27
* check-output-start
28
sm_implied.c:20 func() error: potentially derefencing uninitialized 'aa'.
29
* check-output-end
30
*/