projects
/
gcc.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
re PR tree-optimization/33291 (a+=2; a+=2 not simplified to a+=4; with -O3 ...
[gcc.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
}