http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51505
--- Comment #4 from Paolo Bonzini <bonzini at gnu dot org> 2011-12-13 19:34:25 UTC --- No, it should be easy. Just look at the EQ_USES in df_kill_notes and, if one EQ_USE refers to a dead pseudo, kill the REG_EQUAL or REG_EQUIV note.