https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89330
--- Comment #10 from Martin Jambor <jamborm at gcc dot gnu.org> --- Created attachment 46544 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=46544&action=edit WIP patch I have written another patch that removes the edges from the vector at the time speculation is resolved rather than preventing creation of the edges in the first place. Unfortunately, the patch still trips over the added assert when LTO bootstrapping D. So we'll have to look into it and find out where the edges get deleted other than in check_speculations before figuring out whether this is the right approach or not.