[Bug tree-optimization/87342] [9 Regression] ICE: verify_ssa failed (error: definition in block 10 does not dominate use in block 8)

[rguenth at gcc dot gnu.org]

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.