Sign in
kernel
/
pub
/
scm
/
devel
/
sparse
/
sparse-dev
/
refs/heads/fix-zephyr
/
.
/
validation
/
optim
/
phi-ret.c
blob: bc3e04749f8d7997fbe4fa6828cdd52b4c4de669 [
file
] [
log
] [
blame
]
int
foo
(
int
p
,
int
q
,
int
v
)
{
if
(
q
)
{
if
(
p
)
{
v
=
p
;
p
=
0
;
}
}
else
p
=
0
;
if
(
p
)
return
v
+
1
;
return
q
;
}
/*
* check-name: phi-ret
* check-command: test-linearize -Wno-decl $file
*
* check-output-ignore
* check-output-excludes: phi\\.
*/
