Sign in
gnu
/
gcc
/
a61f6afbee370785cf091fe46e2e022748528307
/
.
/
gcc
/
testsuite
/
gcc.dg
/
analyzer
/
pr94754.c
blob: 3fae20c33d03a658fe0bd39deabfd0459ea039de [
file
] [
log
] [
blame
]
[[
gnu
::
nonnull
]]
static
void
init_x
(
int
cond
,
int
**
x
,
int
*
y
)
{
if
(!
cond
)
return
;
*
x
=
y
;
}
int
foo
(
int
cond
)
{
int
*
x
;
int
y
=
7
;
if
(
cond
<
2
)
return
-
1
;
init_x
(
cond
,
&
x
,
&
y
);
return
*
x
;
}