Sign in
gnu
/
gcc
/
1ba7adabf29eb671e418692fad076ea6edd08e3d
/
.
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
evrp4.c
blob: e3f4531b16c938f2cd1b6dffcf86db2a3951d922 [
file
] [
log
] [
blame
]
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-evrp-details" } */
int
foo
(
int
*
p
);
struct
st
{
int
a
;
int
b
;
};
int
bar
(
struct
st
*
s
)
{
if
(!
s
)
return
0
;
foo
(&
s
->
a
);
}
/* { dg-final { scan-tree-dump "\\\[1B, \\+INF\\\]" "evrp" } } */