Re: [Gm2] Re: GM2 ISO

[Iztok]

Another one.

MODULE loopexit1;

VAR a,b,c,d,e : BOOLEAN;
   i : CARDINAL;
BEGIN
 LOOP
   IF b THEN
     EXIT;
   ELSE
     IF c THEN
       EXIT;
     ELSE
       d := e;
     END;
   END;
   EXIT;
 END;

 FOR i := 0 TO 1 DO
   EXIT;
 END;

 WHILE a DO
   EXIT;
 END;

 REPEAT
   EXIT;
 UNTIL b;
END loopexit1.


> gm2 -c -Wiso loopexit1.mod
loopexit1.mod:8:EXIT - only allowed in LOOP, WHILE, REPEAT, FOR statements
loopexit1.mod:11:EXIT - only allowed in LOOP, WHILE, REPEAT, FOR statements
loopexit1.mod:16:EXIT - only allowed in LOOP, WHILE, REPEAT, FOR statements
loopexit1.mod:20:EXIT - only allowed in LOOP, WHILE, REPEAT, FOR statements
loopexit1.mod:24:EXIT - only allowed in LOOP, WHILE, REPEAT, FOR statements
loopexit1.mod:28:EXIT - only allowed in LOOP, WHILE, REPEAT, FOR statements