[Bug modula2/114333] New: set type comparison against a cardinal should cause an error

[gaius at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114333

            Bug ID: 114333
           Summary: set type comparison against a cardinal should cause an
                    error
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: modula2
          Assignee: gaius at gcc dot gnu.org
          Reporter: gaius at gcc dot gnu.org
  Target Milestone: ---

gm2 incorrectly allows set types to be compared to ZTyped constants.  For
example the following code should generate an error at the IF expression.

MODULE badset2 ;

FROM libc IMPORT printf ;


PROCEDURE init ;
VAR
   s: SET OF [1..2] ;
BEGIN
   IF s = 10
   THEN
      printf ("failure\n")
   END
END init ;


BEGIN
   init
END badset2.