From dd7b13d8f4d0631da3833a0cac51a0b97584bbe5 Mon Sep 17 00:00:00 2001
From: Daniel Berlin <dberlin@dberlin.org>
Date: Sat, 18 Feb 2006 00:09:51 +0000
Subject: [PATCH] re PR tree-optimization/26341 (930217-1.c and 931013-3.c ICE
 at -O2 and above in add_virtual_operand)

2006-02-17  Daniel Berlin  <dberlin@dberlin.org>

	Fix PR tree-optimization/26341
	* tree-ssa-operands.c (add_virtual_operand): Remove assert
	about NAME_MEMORY_TAG's.

From-SVN: r111217
---
 gcc/ChangeLog           |  6 ++++++
 gcc/tree-ssa-operands.c | 14 ++------------
 2 files changed, 8 insertions(+), 12 deletions(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 25d45d6b3efe..479e8e8d0b12 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-02-17  Daniel Berlin  <dberlin@dberlin.org>
+
+	Fix PR tree-optimization/26341
+	* tree-ssa-operands.c (add_virtual_operand): Remove assert 
+	about NAME_MEMORY_TAG's.
+
 2006-02-17  John David Anglin  <dave.anglin@nrc-cnrc.gc.ca>
 
 	PR target/26255
diff --git a/gcc/tree-ssa-operands.c b/gcc/tree-ssa-operands.c
index 3318b0ece28d..01ca06bddc28 100644
--- a/gcc/tree-ssa-operands.c
+++ b/gcc/tree-ssa-operands.c
@@ -1847,13 +1847,7 @@ add_virtual_operand (tree var, stmt_ann_t s_ann, int flags,
 	     aliases will link up properly with calls.   */
 	  if (v_ann->is_alias_tag || none_added
 	      || (TREE_CODE (var) == TYPE_MEMORY_TAG && for_clobber))
-	    {
-	      /* We should never end up with adding no aliases of an
-		 NMT, as that would imply we got the set wrong.  */
-	      gcc_assert (!(none_added && TREE_CODE (var) == NAME_MEMORY_TAG));
-	      
-	      append_v_may_def (var);
-	    }
+	    append_v_may_def (var);
 	}
       else
 	{
@@ -1869,11 +1863,7 @@ add_virtual_operand (tree var, stmt_ann_t s_ann, int flags,
 	  /* Similarly, append a virtual uses for VAR itself, when
 	     it is an alias tag.  */
 	  if (v_ann->is_alias_tag || none_added)
-	    {
-	      gcc_assert (!(none_added && TREE_CODE (var) == NAME_MEMORY_TAG));
-
-	      append_vuse (var);
-	    }
+	    append_vuse (var);
 	}
     }
 }
-- 
GitLab