[Bug modula2/110161] Comparing a typed procedure variable to 0 gives ICE or assertions

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:8bf244e32a0d505720396fbb7df26f824c7f77eb

commit r14-2911-g8bf244e32a0d505720396fbb7df26f824c7f77eb
Author: Gaius Mulley <gaiusmod2@gmail.com>
Date:   Wed Aug 2 00:34:29 2023 +0100

    PR modula2/110161 Comparing a typed procedure variable to 0 gives ICE or
assertion

    This patch allows a proc type to be compared against an address.

    gcc/m2/ChangeLog:

            PR modula2/110161
            * gm2-compiler/M2Check.mod (checkProcTypeEquivalence): New
            procedure function.
            (checkTypeKindEquivalence): Call checkProcTypeEquivalence
            if either left or right is a proc type.
            * gm2-compiler/M2Quads.mod (BuildRelOp): Create
            combinedTok prior to creating the range check quadruple.
            Use combinedTok when creating the range check quadruple.

    gcc/testsuite/ChangeLog:

            PR modula2/110161
            * gm2/pim/fail/badxproc.mod: New test.

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