Sign in
gnu
/
gcc
/
1ba7adabf29eb671e418692fad076ea6edd08e3d
/
.
/
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" } } */