https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114579
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 57872 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57872&action=edit patch Doing this no longer will be able to handle A conflicts B, B conflicts C but A does not conflict C. But it might be something for -O1.