Sign in
gnu
/
gcc
/
1ba7adabf29eb671e418692fad076ea6edd08e3d
/
.
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp37.c
blob: fba35a48bbfc4f33392fc84303f0416ad325a7e7 [
file
] [
log
] [
blame
]
/* { dg-do compile } */
/* { dg-options "-O2" } */
unsigned
char
x
;
int
foo
(
void
)
{
unsigned
long
long
i
=
x
;
i
=
i
+
0x80000000
;
if
(
i
>
0xffffffff
)
return
x
;
return
0
;
}