Sign in
gnu
/
gcc
/
refs/heads/devel/c++-contracts
/
.
/
gcc
/
testsuite
/
gcc.dg
/
pr103079.c
blob: 7f6632fc6693fb988e1c0f66155a54af4c86a5b5 [
file
] [
log
] [
blame
]
/* { dg-do compile } */
/* { dg-options "-Os -fdump-tree-vrp2" } */
int
a
,
b
=
-
2
;
int
main
()
{
int
d
=
0
;
int
t
;
if
(
b
)
goto
t1
;
if
(
t
)
{
t1
:
if
(!
a
)
d
=
b
;
while
(
d
>
-
1
)
;
}
return
0
;
}
/* { dg-final { scan-tree-dump "PHI" "vrp2" } } */