projects
/
gcc.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
tree-vrp.c (zero_nonzero_bits_from_vr): Also return precise information for ranges...
[gcc.git]
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp61.c
1
/* { dg-do compile } */
2
/* { dg-options "-O2 -fdump-tree-vrp1" } */
3
4
int
f
(
int
x
,
int
y
)
5
{
6
if
(
x
> -
1024
&&
x
<
0
&&
y
> -
1024
&&
y
<
0
)
7
{
8
x
=
x
^
y
;
9
if
(
x
<
0
||
x
>
1023
)
10
return
1234
;
11
}
12
return
x
;
13
}
14
15
/* { dg-final { scan-tree-dump-not "1234" "vrp1" } } */
16
/* { dg-final { cleanup-tree-dump "vrp1" } } */