[Bug modula2/119914] Passing a constant to the unbounded array compiles and causes a.out to dump core

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

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

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

https://gcc.gnu.org/g:b8032bec831a4a48636e7ffd771e76efc1ff27ea

commit r15-9674-gb8032bec831a4a48636e7ffd771e76efc1ff27ea
Author: Gaius Mulley <gaiusm...@gmail.com>
Date:   Tue May 13 17:51:22 2025 +0100

    [PATCH] PR modula2/119914 No error message generated when passing a Ztype
to an unbounded array

    This patch detects constants ZType, RType, CType being passed to unbounded
    arrays and generates an error message highlighting the formal and
    actual parameters in error.

    gcc/m2/ChangeLog:

            PR modula2/119914
            * gm2-compiler/M2Check.mod (checkConstMeta): Add check for
            Ztype, Rtype and Ctype and unbounded arrays.
            (IsZRCType): New procedure function.
            (isZRC): Add comment.
            * gm2-compiler/M2Quads.mod:
            * gm2-compiler/M2Range.mod (gdbinit): New procedure.
            (BreakWhenRangeCreated): Ditto.
            (CheckBreak): Ditto.
            (InitRange): Call CheckBreak.
            (Init): Add gdbhook and initialize interactive watch point.
            * gm2-compiler/SymbolTable.def (GetNthParamAnyClosest): New
            procedure function.
            * gm2-compiler/SymbolTable.mod (BreakSym): Remove constant.
            (BreakSym): Add Variable.
            (stop): Remove.
            (gdbhook): New procedure.
            (BreakWhenSymCreated): Ditto.
            (CheckBreak): Ditto.
            (NewSym): Call CheckBreak.
            (Init): Add gdbhook and initialize interactive watch point.
            (MakeProcedure): Replace guarded call to stop with CheckBreak.
            (GetNthParamChoice): New procedure function.
            (GetNthParamOrdered): Ditto.
            (GetNthParamAnyClosest): Ditto.
            (GetOuterModuleScope): Ditto.

    gcc/testsuite/ChangeLog:

            PR modula2/119914
            * gm2/pim/fail/constintarraybyte.mod: New test.

    (cherry picked from commit e9a81addd5b7d018e173fa8d59aafc2f84e41d8b)

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