http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56957
Steven Bosscher <steven at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |steven at gcc dot gnu.org --- Comment #3 from Steven Bosscher <steven at gcc dot gnu.org> 2013-04-16 21:36:32 UTC --- Work-around: --- sel-sched-ir.c 2013-04-16 21:51:48.000000000 +0200 +++ sel-sched-ir.c 2013-04-16 23:35:30.000000000 +0200 @@ -3935,7 +3935,7 @@ remove_insn (insn); else { - delete_insn (insn); + remove_insn (insn); clear_expr (INSN_EXPR (insn)); } But that makes sel-sched leak DF caches again...