https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113898
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- <bb 3> [local count: 101363582]: # RANGE [irange] int [1, 2] h_24 = 1; ivtmp_25 = 1; e[h_24][_9] = c.5_10; so there's a missed CCP (this is late FRE). We massaged it to e[1][1] but it should have been e[1][0] instead. Oops. Testing fix.