OSDN Git Service
(root)
/
pf3gnuchains
/
gcc-fork.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
PR rtl-optimization/52139
[pf3gnuchains/gcc-fork.git]
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp61.c
1
/* { dg-do compile } */
2
/* { dg-options "-O2 -fdump-tree-vrp1-nouid" } */
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" } } */