https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99125
anlauf at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Known to work| |11.2.1, 12.0 CC| |anlauf at gcc dot gnu.org --- Comment #8 from anlauf at gcc dot gnu.org --- AFAICT the invalid testcase in comment#0 does not ICE after the commit in comment#6 on gcc-12 and 11-branch, so Paul simply needs to backport to 10- and 9-branches. The bounds violation is correctly detected at runtime: At line 8 of file pr99125.f90 Fortran runtime error: Index '7' of dimension 1 of array 'x' outside of expected range (1:2) The testcase in comment#1 still works. Also, the invalid testcase in comment#5 are handled at runtime. @Paul: do you intent to backport your patch so that we can close this one?