http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49007
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ebotcazou at gcc dot
| |gnu.org
--- Comment #12 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-05-23
06:44:36 UTC ---
> On the next iteration, insn 433 has been deleted but regs_live at
> the start of bb 16 is still the same as before:
I think that it shouldn't be deleted, see the head comment of update_block.