From 448b703500721b5fd42b393e8adae41cbf2f8852 Mon Sep 17 00:00:00 2001 From: "Pedro F. Giffuni" Date: Thu, 14 Nov 2013 20:21:05 +0000 Subject: [PATCH] Merge vrp-tree fix from gcc-4.3 Fix missed conversion from / to >> (GCC PR32521) Note that vrp-tree is currently disabled by default in FreeBSD's gcc due many bugs. While here fix a revision number in the 4.3 Changelog. Obtained from: gcc 4.3 (rev. 122831 - partial; GPLv2) MFC after: 3 weeks --- contrib/gcc/ChangeLog.gcc43 | 7 ++++++- contrib/gcc/tree-vrp.c | 2 +- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/contrib/gcc/ChangeLog.gcc43 b/contrib/gcc/ChangeLog.gcc43 index 491c89d31789..80178382585e 100644 --- a/contrib/gcc/ChangeLog.gcc43 +++ b/contrib/gcc/ChangeLog.gcc43 @@ -1,4 +1,4 @@ -2007-06-05 Joerg Wunsch (r23479) +2007-06-05 Joerg Wunsch (r125346) PR preprocessor/23479 * doc/extend.texi: Document the 0b-prefixed binary integer @@ -49,6 +49,11 @@ * config/i386/i386.c (override_options): Likewise. * doc/invoke.texi: Likewise. +2007-03-11 Ian Lance Taylor (r122831 - partial) + + * tree-vrp.c (vrp_int_const_binop): Handle PLUS_EXPR and + the *_DIV_EXPR codes correctly with overflow infinities. + 2007-02-09 Dwarakanath Rajagopal (r121763) * config/i386/driver-i386.c: Turn on -mtune=native for AMDFAM10. diff --git a/contrib/gcc/tree-vrp.c b/contrib/gcc/tree-vrp.c index 4626485191ff..0c9824d54879 100644 --- a/contrib/gcc/tree-vrp.c +++ b/contrib/gcc/tree-vrp.c @@ -4914,7 +4914,7 @@ simplify_div_or_mod_using_ranges (tree stmt, tree rhs, enum tree_code rhs_code) { bool sop = false; - val = compare_range_with_value (GT_EXPR, vr, integer_zero_node, &sop); + val = compare_range_with_value (GE_EXPR, vr, integer_zero_node, &sop); if (val && sop