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
/
mem2reg
/
stray-phisrc.c
blob
0da7df7a4456c37681b5f603ca6be2f6bbb8b2b7
1
static int
foo
(
int
**
g
)
2
{
3
int
i
=
1
;
4
int
*
a
[
2
];
5
int
**
p
;
6
7
a
[
1
] = &
i
;
8
if
(
g
)
9
p
=
g
;
10
else
11
p
= &
a
[
0
];
12
p
+=
1
;
// will point to a[1] = &i
13
if
(!
g
)
14
**
p
=
0
;
15
return
i
;
16
}
17
18
/*
19
* check-name: stray phisrc
20
* check-command: test-linearize -Wno-decl $file
21
*
22
* check-output-ignore
23
* check-output-excludes: phisrc\\.
24
*/