[Bug tree-optimization/31034] [4.3 Regression] ICE in set_value_range, at tree-vrp.c:267

[ian at airs dot com]

------- Comment #5 from ian at airs dot com  2007-03-05 00:42 -------
I'm testing this patch.

Index: tree-vrp.c
===================================================================
--- tree-vrp.c  (revision 122538)
+++ tree-vrp.c  (working copy)
@@ -1137,13 +1137,14 @@ extract_range_from_assert (value_range_t
       /* If the maximum value forces us to be out of bounds, simply punt.
         It would be pointless to try and do anything more since this
         all should be optimized away above us.  */
-      if (cond_code == LT_EXPR && compare_values (max, min) == 0)
+      if ((cond_code == LT_EXPR
+          && compare_values (max, min) == 0)
+         || is_overflow_infinity (max))
        set_value_range_to_varying (vr_p);
       else
        {
          /* For LT_EXPR, we create the range [MIN, MAX - 1].  */
-         if (cond_code == LT_EXPR
-             && !is_positive_overflow_infinity (max))
+         if (cond_code == LT_EXPR)
            {
              tree one = build_int_cst (type, 1);
              max = fold_build2 (MINUS_EXPR, type, max, one);
@@ -1169,13 +1170,14 @@ extract_range_from_assert (value_range_t
       /* If the minimum value forces us to be out of bounds, simply punt.
         It would be pointless to try and do anything more since this
         all should be optimized away above us.  */
-      if (cond_code == GT_EXPR && compare_values (min, max) == 0)
+      if ((cond_code == GT_EXPR
+          && compare_values (min, max) == 0)
+         || is_overflow_infinity (min))
        set_value_range_to_varying (vr_p);
       else
        {
          /* For GT_EXPR, we create the range [MIN + 1, MAX].  */
-         if (cond_code == GT_EXPR
-             && !is_negative_overflow_infinity (min))
+         if (cond_code == GT_EXPR)
            {
              tree one = build_int_cst (type, 1);
              min = fold_build2 (PLUS_EXPR, type, min, one);


-- 

ian at airs dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |ian at airs dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-03-04 12:37:08         |2007-03-05 00:42:53
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31034