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

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

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

--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Gaius Mulley <ga...@gcc.gnu.org>:

https://gcc.gnu.org/g:7aeedff6a426cc05024af0bc92116d676a5ba42b

commit r14-9475-g7aeedff6a426cc05024af0bc92116d676a5ba42b
Author: Gaius Mulley <gaiusm...@gmail.com>
Date:   Thu Mar 14 15:34:36 2024 +0000

    PR modula2/114333 set type comparison against cardinal should cause error
addendum

    This patch applies the new stricter type checking procedure function to
    the remaining 6 comparisons: less, greater, lessequ, greequ, ifin and
    ifnotin.

    gcc/m2/ChangeLog:

            PR modula2/114333
            * gm2-compiler/M2GenGCC.mod (CodeStatement): Remove op1, op2 and
            op3 parameters to CodeIfLess, CodeIfLessEqu, CodeIfGreEqu,
CodeIfGre,
            CodeIfIn, CodeIfNotIn.
            (CodeIfLess): Rewrite.
            (PerformCodeIfLess): New procedure.
            (CodeIfLess): Rewrite.
            (PerformCodeIfLess): New procedure.
            (CodeIfLessEqu): Rewrite.
            (PerformCodeIfLessEqu): New procedure.
            (CodeIfGreEqu): Rewrite.
            (PerformCodeIfGreEqu): New procedure.
            (CodeIfGre): Rewrite.
            (PerformCodeIfGre): New procedure.
            (CodeIfIn): Rewrite.
            (PerformCodeIfIn): New procedure.
            (CodeIfNotIn): Rewrite.
            (PerformCodeIfNotIn): New procedure.

    gcc/testsuite/ChangeLog:

            PR modula2/114333
            * gm2/pim/fail/badset5.mod: New test.
            * gm2/pim/fail/badset6.mod: New test.

    Signed-off-by: Gaius Mulley <gaiusm...@gmail.com>