------- Comment #8 from dberlin at gcc dot gnu dot org 2006-06-01 12:22 -------
The SMT related stuff is a red herring.
Someone is not marking things for renaming when they should be.
The following patch will show that (it disables the used alone code).
Index: tree-ssa-operands.c
===================================================================
--- tree-ssa-operands.c (revision 114136)
+++ tree-ssa-operands.c (working copy)
@@ -1294,12 +1294,12 @@ add_virtual_operand (tree var, stmt_ann_
|| none_added
|| (TREE_CODE (var) == SYMBOL_MEMORY_TAG
&& for_clobber
- && SMT_USED_ALONE (var)))
+ /*&& SMT_USED_ALONE (var)*/))
{
/* Every bare SMT def we add should have SMT_USED_ALONE
set on it, or else we will get the wrong answer on
clobbers. */
- if (none_added
+ if (0 && none_added
&& !updating_used_alone && aliases_computed_p
&& TREE_CODE (var) == SYMBOL_MEMORY_TAG)
gcc_assert (SMT_USED_ALONE (var));
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27341
