https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81095
markeggleston at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Last reconfirmed|2017-06-15 00:00:00 |2020-1-14 CC| |markeggleston at gcc dot gnu.org --- Comment #2 from markeggleston at gcc dot gnu.org --- Confirmed trunk (10.0 - revision 280100) As mentioned in the description the body of the forall should not be executed because the range of values is not valid. Where the range values are constants as they are in the example a warning could be issued.