From 361618ec53c981befde38b89365712c7ebe65abb Mon Sep 17 00:00:00 2001
From: Richard Biener <rguenther@suse.de>
Date: Fri, 4 Jan 2013 13:28:53 +0000
Subject: [PATCH] re PR tree-optimization/55862 (ICE in compute_antic, at
 tree-ssa-pre.c:2495)

2013-01-04  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/55862
	* tree-ssa-pre.c (phi_translate_1): Valueize SSA names after
	translating them through PHI nodes.

	* gcc.dg/torture/pr55862.c: New testcase.

From-SVN: r194906
---
 gcc/ChangeLog                          |  6 +++++
 gcc/testsuite/ChangeLog                |  5 +++++
 gcc/testsuite/gcc.dg/torture/pr55862.c | 31 ++++++++++++++++++++++++++
 gcc/tree-ssa-pre.c                     |  4 ++++
 4 files changed, 46 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/torture/pr55862.c

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9a842c4b47a..1c6e735834c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2013-01-04  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/55862
+	* tree-ssa-pre.c (phi_translate_1): Valueize SSA names after
+	translating them through PHI nodes.
+
 2013-01-04  Martin Jambor  <mjambor@suse.cz>
 
 	PR tree-optimization/55755
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c9c434b2f6f..1ce0571a2b6 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2013-01-04  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/55862
+	* gcc.dg/torture/pr55862.c: New testcase.
+
 2013-01-04  Martin Jambor  <mjambor@suse.cz>
 
 	PR tree-optimization/55755
diff --git a/gcc/testsuite/gcc.dg/torture/pr55862.c b/gcc/testsuite/gcc.dg/torture/pr55862.c
new file mode 100644
index 00000000000..eb8dceb9bf8
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr55862.c
@@ -0,0 +1,31 @@
+/* { dg-do compile } */
+
+int g, a, *b;
+
+void f(void)
+{
+  int *p;
+
+  if(g)
+    {
+      int **k = &p;
+
+      for(; g; p++)
+	for(a = 0; a < 1; a++)
+	  {
+	    int *c = p;
+label2:
+	    if(a < 1)
+	      *c = 0;
+	  }
+
+      goto label1;
+
+      while(g++)
+	for(*b = 0; *b; b++)
+	  label1:
+	      ;
+    }
+
+  goto label2;
+}
diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c
index 9c72f3323da..ed8973824a8 100644
--- a/gcc/tree-ssa-pre.c
+++ b/gcc/tree-ssa-pre.c
@@ -1729,6 +1729,10 @@ phi_translate_1 (pre_expr expr, bitmap_set_t set1, bitmap_set_t set2,
 	    edge e = find_edge (pred, gimple_bb (def_stmt));
 	    tree def = PHI_ARG_DEF (def_stmt, e->dest_idx);
 
+	    /* Valueize it.  */
+	    if (TREE_CODE (def) == SSA_NAME)
+	      def = VN_INFO (def)->valnum;
+
 	    /* Handle constant. */
 	    if (is_gimple_min_invariant (def))
 	      return get_or_alloc_expr_for_constant (def);