------- 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
