https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113898
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution|--- |FIXED --- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> --- Yes, that case is tracked in PR113895 - we value number e[h_7(D)][1] = 4; and out-of-bound array indices behave differently, choking the verifier code. And I don't see an easy way to fix that so the plan is to remove the verifier code (not sure if it's worth detecting those cases and selectively disabling it). Let's track this in the other bug.