Sign in
gnu
/
gcc
/
ec7c796de020cb5cd955aa5b26c92b1da49d6076
/
.
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp32.c
blob: e035b8c9abd770c54ec8b385fe54d1e59aef539c [
file
] [
log
] [
blame
]
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-vrp1" } */
int
f
(
int
i
)
{
_Bool
t
=
!
i
;
int
g
=
!
t
&&
i
;
int
h
=
g
==
3
;
return
h
;
}
/* { dg-final { scan-tree-dump "return 0;" "vrp1" } } */