------- Comment #4 from ian at airs dot com 2007-06-08 17:57 -------
I'm testing this patch.
Index: tree-vrp.c
===================================================================
--- tree-vrp.c (revision 125521)
+++ tree-vrp.c (working copy)
@@ -2208,6 +2208,8 @@ extract_range_from_unary_expr (value_ran
&& is_gimple_val (new_max)
&& tree_int_cst_equal (new_min, orig_min)
&& tree_int_cst_equal (new_max, orig_max)
+ && (!is_overflow_infinity (new_min)
+ || !is_overflow_infinity (new_max))
&& (cmp = compare_values (new_min, new_max)) <= 0
&& cmp >= -1)
--
ian at airs dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC|ian at gcc dot gnu dot org |ian at airs dot com
Last reconfirmed|2007-06-06 23:04:14 |2007-06-08 17:57:04
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32169
