https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97315
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- 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?
