https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90273
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 46257 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46257&action=edit more aggressive variant More aggressive variant using a bitmap, simply keeping the last, does for example @@ -243,7 +237,6 @@ <bb 5> [local count: 43794188]: # DEBUG BEGIN_STMT i_28 = i_35 + 1; - # DEBUG i => i_28 # DEBUG d => 1 # DEBUG i => i_28 note if there are debug temps those are still not DCEd even if not used. In theory they should always have debug temp defs and uses in the same BB so the backward walk could gather local uses. But that needs more experiments / verification.