re PR tree-optimization/32169 (Ice in set_value_range, at tree-vrp.c:326)

./:	PR tree-optimization/32169
	* tree-vrp.c (extract_range_from_unary_expr): For NOP_EXPR and
	CONVERT_EXPR, check whether min and max both converted to an
	overflow infinity representation.
testsuite/:
	PR tree-optimization/32169
	* gcc.c-torture/compile/pr32169.c: New test.

From-SVN: r125591

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 21546658630d80624c6affe689bb68fda595ea8e..dbb244741721919fdfc95fabd2225a322923bace 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2007-06-09  Ian Lance Taylor  <iant@google.com>
+
+       PR tree-optimization/32169
+       * tree-vrp.c (extract_range_from_unary_expr): For NOP_EXPR and
+       CONVERT_EXPR, check whether min and max both converted to an
+       overflow infinity representation.
+
 2007-06-08  Eric Botcazou  <ebotcazou@adacore.com>
 
        * reload1.c (fixup_abnormal_edges): Clear bb field for insns

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 14f7bafa2133048c212fa4ad4fed258ade3c2b74..bc45908ac6b39071ed002a4f9e44f9bb321abac1 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2007-06-09  Ian Lance Taylor  <iant@google.com>
+
+       PR tree-optimization/32169
+       * gcc.c-torture/compile/pr32169.c: New test.
+
 2007-06-08  Harsha Jagasia <harsha.jagasia@amd.com>
 
        * gcc.dg/vect/costmodel: New directory.

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr32169.c b/gcc/testsuite/gcc.c-torture/compile/pr32169.c
new file mode 100644 (file)
index 0000000..29d3022
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr32169.c
@@ -0,0 +1,17 @@
+void f(char);
+static inline
+void * __memset_generic(char c)
+{
+  f(c);
+}
+int prepare_startup_playback_urb(
+     int b,
+     int c
+)
+{
+  char d;
+  if (b)
+    __memset_generic(c == ( 1) ? 0x80 : 0);
+  else
+    __memset_generic (c == ( 1) ? 0x80 : 0);
+}

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 7506092278edefc1370caf11b5cb785cad0b97e1..2a51de7ba43bce43be90b1e67a4be1ef179e5d03 100644 (file)
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -2208,6 +2208,8 @@ extract_range_from_unary_expr (value_range_t *vr, tree expr)
              && 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)
            {