* fold-const.c (make_range, case PLUS_EXPR): Correct

        normalization of an unsigned range that wraps around zero.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@13089 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 9e75466..e662403 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -2814,10 +2814,16 @@ make_range (exp, pin_p, plow, phigh)
              || (n_high != 0 && TREE_OVERFLOW (n_high)))
            break;
 
              || (n_high != 0 && TREE_OVERFLOW (n_high)))
            break;
 

-         /* Check for a range which has wrapped around the maximum value
-            thus making n_high < n_low.  Normalize any such range it.  */
+         /* Check for an unsigned range which has wrapped around the maximum
+            value thus making n_high < n_low, and normalize it.  */

          if (n_low && n_high && tree_int_cst_lt (n_high, n_low))
          if (n_low && n_high && tree_int_cst_lt (n_high, n_low))

-           low = n_high, high = n_low, in_p = ! in_p;
+           {
+             low = range_binop (PLUS_EXPR, type, n_high, 0,
+                                convert (type, integer_one_node), 0);
+             high = range_binop (MINUS_EXPR, type, n_low, 0,
+                                convert (type, integer_one_node), 0);
+             in_p = ! in_p;
+           }

          else
            low = n_low, high = n_high;
 
          else
            low = n_low, high = n_high;