Sign in
gnu
/
gcc
/
4aef14b09557ce072f1269bd8a05fa2b1df0eda2
/
.
/
gcc
/
testsuite
/
gcc.dg
/
analyzer
/
pr96644.c
blob: 3953c8d58c4005276e093d379ec69a6044eedc3b [
file
] [
log
] [
blame
]
/* { dg-additional-options "-O1" } */
int
oh
[
1
];
int
*
x3
;
int
*
cm
(
char
*
m0
)
{
return
oh
;
}
void
ek
(
void
)
{
for
(;;)
{
char
*
b2
=
0
;
if
(*
b2
!=
0
)
/* { dg-warning "dereference of NULL" } */
++
b2
;
x3
=
cm
(
b2
);
}
}