tree-vrp.c (extract_range_from_unary_expr): Do not set the range for the result…

tree-vrp.c (extract_range_from_unary_expr): Do not set the range for the result of a conversion if...

	* tree-vrp.c (extract_range_from_unary_expr): Do not set the range for
	the result of a conversion if the new min and max cannot be compared.

From-SVN: r104036

gcc/ChangeLog

+2005-09-08  Eric Botcazou  <ebotcazou@libertysurf.fr>
+
+	* tree-vrp.c (extract_range_from_unary_expr): Do not set the range for
+	the result of a conversion if the new min and max cannot be compared.
+
 2005-09-08  Andreas Krebbel  <krebbel1@de.ibm.com>
 
 	* config/s390/s390.c (s390_sr_alias_set): Variable removed.

gcc/tree-vrp.c

@@ -1341,7 +1341,7 @@ extract_range_from_unary_expr (value_range_t *vr, tree expr)
 	      && tree_int_cst_equal (new_min, vr0.min)
 	      && tree_int_cst_equal (new_max, vr0.max)
 	      && compare_values (new_min, new_max) <= 0
-	      && compare_values (new_min, new_max) >= -2)
+	      && compare_values (new_min, new_max) >= -1)
 	    {
 	      set_value_range (vr, VR_RANGE, new_min, new_max, vr->equiv);
 	      return;