https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97315
--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> --- (In reply to Richard Biener from comment #4) > EVRP knows to "skip" unreachable edges. Not sure how you even "ask" EVRP > for values in unreachable blocks? It's lattice does never reflect its state? Also the substitute-and-fold stage avoided to even look at unreachable regions (for compile-time reasons and to avoid using "inconsistent" state)
