diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr68431.c | 16 | ||||
| -rw-r--r-- | gcc/tree-vrp.c | 2 |
4 files changed, 27 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1cd2697..4f4b654 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-11-19 Marek Polacek <polacek@redhat.com> + + PR tree-optimization/68431 + * tree-vrp.c (extract_range_from_binary_expr_1): Fix condition. + 2015-11-19 Nathan Sidwell <nathanacm.org> * config/nvptx/nvptx.md (atomic_compare_and_swap<mode>_1, diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 319d1f3..7b65659 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-11-19 Marek Polacek <polacek@redhat.com> + + PR tree-optimization/68431 + * gcc.dg/tree-ssa/pr68431.c: New test. + 2015-11-19 Jakub Jelinek <jakub@redhat.com> PR rtl-optimization/68376 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr68431.c b/gcc/testsuite/gcc.dg/tree-ssa/pr68431.c new file mode 100644 index 0000000..3bd3843 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr68431.c @@ -0,0 +1,16 @@ +/* PR tree-optimization/68431 */ +/* { dg-options "-O2 -fdump-tree-vrp1-details" } */ + +unsigned int x = 1; +int +main (void) +{ + long long int a = -2LL; + int t = 1 <= (a / x); + if (t != 0) + __builtin_abort (); + + return 0; +} + +/* { dg-final { scan-tree-dump-times "Folding predicate .*to 0" 1 "vrp1" } } */ diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index e67048e..736082b 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -2975,7 +2975,7 @@ extract_range_from_binary_expr_1 (value_range *vr, if (vr1.type == VR_RANGE && !symbolic_range_p (&vr0) && !symbolic_range_p (&vr1) - && !compare_values (vr1.min, zero)) + && compare_values (vr1.min, zero) != 0) max = int_const_binop (code, vr0.max, vr1.min); else max = zero; |