https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88856
--- Comment #13 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Segher on IRC says that removing REG_DEAD notes that aren't valid is the > right thing, so paging others what they think. Definitely not, passes are not required to maintain REG_DEAD/REG_UNUSED notes, it's the exclusive job of DF and we're better not open this can of worms.