Sign in
gnu
/
gcc
/
refs/heads/devel/c++-contracts
/
.
/
gcc
/
testsuite
/
gcc.dg
/
pr102872.c
blob: 971bb03a5a7bc1572df0f39041144707ac743627 [
file
] [
log
] [
blame
]
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-evrp" } */
void
foo
(
void
);
static
int
a
,
b
;
int
main
()
{
for
(;
a
;
++
a
)
{
unsigned
short
d
=
a
;
if
(!(
b
|
d
)
&&
d
)
foo
();
}
}
/* { dg-final { scan-tree-dump-not "foo" "evrp" } } */