https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87342
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- Thanks, that's another case similar to PR87263 where we cannot use dominated_by_p_w_unex. But I think the error is in computation of max_rpo for BB 15 which is 6 instead of 13. Because we're supposed to mark the respective edges executable. Needs more thinking.
