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/testsuite/
[pf3gnuchains/gcc-fork.git]
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
vrp10.c
1
/* { dg-do run } */
2
/* { dg-options "-O2" } */
3
4
extern void abort (void);
5
6
foo (int k, int j)
7
{
8
if (k >= 10)
9
{
10
if (j > k)
11
{
12
/* We should fold this to if (0). */
13
if (j < 10)
14
abort ();
15
}
16
}
17
18
return j;
19
}
20
21
main()
22
{
23
foo (10, 3);
24
return 0;
25
}