https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117371
--- Comment #7 from Gaius Mulley <gaius at gcc dot gnu.org> --- Ah yes in modula-2 (ISO) the ebnf defines the step size to be a constant expression. For reference (ISO P254) "the constant expression shall not contain a reference to a variable". Interestingly it does also say that the step size must not be zero, which is currently not checked :-) Similarly in PIM modula-2 the ebnf expands to a constant expression for the step size. Many thanks for the bug report, I will back port the fix shortly and add the non zero check.