[Bug tree-optimization/97315] [11 Regression] ICE in choose_value, at gimple-ssa-evrp.c:282 since r11-3690-gebc77ce3a4c70730b4e38d68f88693eadbdc8712

[rguenth at gcc dot gnu.org]

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)