https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114026
--- Comment #2 from Gaius Mulley <gaius at gcc dot gnu.org> --- Created attachment 57474 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57474&action=edit Proposed fix Here is the proposed fix. $ gm2 forloop.mod forloop.mod:10:8: error: In procedure ‘init’: type expression incompatibility between ‘INTEGER’ and ‘CARDINAL’ detected when comparing the designator ‘i’ against the second expression ‘c’ in the FOR loop 10 | FOR i := 0 TO c DO (* INTEGER CARDINAL expression incompatible. *) | ^~~~~~~~~~~