Sign in
gnu
/
gcc
/
ec7c796de020cb5cd955aa5b26c92b1da49d6076
/
.
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp10.c
blob: 6d07caff015f220ba86e573a8b15616b79437433 [
file
] [
log
] [
blame
]
/* { dg-do run } */
/* { dg-options "-O2" } */
extern
void
abort
(
void
);
int
foo
(
int
k
,
int
j
)
{
if
(
k
>=
10
)
{
if
(
j
>
k
)
{
/* We should fold this to if (0). */
if
(
j
<
10
)
abort
();
}
}
return
j
;
}
int
main
()
{
foo
(
10
,
3
);
return
0
;
}