http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46931
--- Comment #4 from Alexandre Oliva <aoliva at gcc dot gnu.org> 2010-12-16 17:20:22 UTC --- I agree. For the sake of avoiding loss of debug info, I suggest we check that the SSA name is not referenced in debug stmts before dropping the def altogether. Want me to code that up?