[Bug tree-optimization/33562] [4.3 Regression] aggregate DSE disabled

["rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #4 from rguenth at gcc dot gnu dot org  2007-09-27 10:17 -------
Created an attachment (id=14254)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14254&action=view)
restore DCE of killing defs

some ssa updating is broken in dce though:

/space/rguenther/src/svn/pointer_plus/gcc/testsuite/gcc.dg/tree-ssa/complex-4.c:
In function 'f':
/space/rguenther/src/svn/pointer_plus/gcc/testsuite/gcc.dg/tree-ssa/complex-4.c:5:
error: type mismatch between an SSA_NAME and its symbol
/space/rguenther/src/svn/pointer_plus/gcc/testsuite/gcc.dg/tree-ssa/complex-4.c:5:
error: in statement
# SFT.1_12 = VDEF <SFT.1_11> { SFT.1 }
REALPART_EXPR <t> = 2;
/space/rguenther/src/svn/pointer_plus/gcc/testsuite/gcc.dg/tree-ssa/complex-4.c:5:
internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

but dceloop now removes the dead store and we get:

f ()
{
  complex int t;
  int D.1551;

<bb 2>:
  # SFT.1_12 = VDEF <SFT.1_11>
  REALPART_EXPR <t> = 2;
  # SFT.0_13 = VDEF <SFT.0_10>
  IMAGPART_EXPR <t> = 2;
  # SFT.0_14 = VDEF <SFT.0_13>
  # SFT.1_15 = VDEF <SFT.1_12>
  D.1551_5 = g (&t);
  return D.1551_5;

}


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33562