From: Andrew Pinski <pinskia@physics.uc.edu>
Date: Thu, 23 Mar 2006 15:09:51 +0000 (+0000)
Subject: re PR tree-optimization/26795 (ACATS ICE c37213d on x86 in valid_in_set, at tree... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=60fee157375ed84e88fa9b820bdde91b1bcd430d;p=gcc.git

re PR tree-optimization/26795 (ACATS ICE c37213d on x86 in valid_in_set, at tree-ssa-pre.c:1579)

2006-03-23  Andrew Pinski  <pinskia@physics.uc.edu>

        PR tree-opt/26795
        * tree-ssa-pre.c (create_value_expr_from): Don't reject
        expressions which have overflowed constants.

From-SVN: r112319
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 2a128c6bcac..3431ed81719 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-03-23  Andrew Pinski  <pinskia@physics.uc.edu>
+
+	PR tree-opt/26795
+	* tree-ssa-pre.c (create_value_expr_from): Don't reject
+	expressions which have overflowed constants.
+
 2006-03-23  Zdenek Dvorak <dvorakz@suse.cz>
 
 	* cse.c (cse_end_of_basic_block): Do not check for LOOP_END note.
diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c
index e9256215c66..fc0dff5a2b8 100644
--- a/gcc/tree-ssa-pre.c
+++ b/gcc/tree-ssa-pre.c
@@ -2938,15 +2938,6 @@ create_value_expr_from (tree expr, basic_block block, tree stmt)
       if (op == NULL_TREE)
 	continue;
 
-      /* If OP is a constant that has overflowed, do not value number
-	 this expression.  */
-      if (CONSTANT_CLASS_P (op)
-	  && TREE_OVERFLOW (op))
-	{
-	  pool_free (pool, vexpr);
-	  return NULL;
-	}
-
       /* Recursively value-numberize reference ops and tree lists.  */
       if (REFERENCE_CLASS_P (op))
 	{