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
gcc:
[pf3gnuchains/gcc-fork.git]
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp05.c
1
/* { dg-do compile } */
2
/* { dg-options "-O2 -fdump-tree-vrp" } */
3
4
foo (int k, int j)
5
{
6
if (k >= 10)
7
{
8
if (j > k)
9
{
10
/* We should fold this to if (1). */
11
if (j > 0)
12
return j;
13
}
14
}
15
16
return j;
17
}
18
19
/* { dg-final { scan-tree-dump-times "Folding predicate j_.*to 1" 1 "vrp" } } */
20
/* { dg-final { cleanup-tree-dump "vrp" } } */