repo.or.cz
/
official-gcc.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
More fold_negate in match.pd
[official-gcc.git]
/
gcc
/
testsuite
/
gcc.dg
/
tree-ssa
/
pr68431.c
blob
9c42563b67b91ca13deff4f7335fed17323f2eb5
1
/* PR tree-optimization/68431 */
2
/* { dg-options "-O2 -fdisable-tree-evrp -fdump-tree-vrp1-details" } */
3
4
unsigned int
x
=
1
;
5
int
6
main
(
void
)
7
{
8
long long int
a
= -
2LL
;
9
int
t
=
1
<= (
a
/
x
);
10
if
(
t
!=
0
)
11
__builtin_abort
();
12
13
return
0
;
14
}
15
16
/* { dg-final { scan-tree-dump-times "Folding predicate .*to 0" 1 "vrp1" } } */