[Bug modula2/109423] New: cc1gm2 ICE if an INCL or EXCL is performced on an unknown set

[Bug modula2/109423] New: cc1gm2 ICE if an INCL or EXCL is performced on an unknown set

[gaius at gcc dot gnu.org]

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

            Bug ID: 109423
           Summary: cc1gm2 ICE if an INCL or EXCL is performced on an
                    unknown set
           Product: gcc
           Version: 13.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: ---

cc1gm2 ICE if an INCL or EXCL is performced on an unknown set.  For example:


MODULE setunknown2 ;

BEGIN
   INCL (unknownSet, unknownVariable)
END setunknown2.

[Bug modula2/109423] cc1gm2 ICE if an INCL or EXCL is performced on an unknown set

[cvs-commit at gcc dot gnu.org]

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

--- Comment #1 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:1bd13193fab77a19da323974aec876f0fc1817ee

commit r13-7019-g1bd13193fab77a19da323974aec876f0fc1817ee
Author: Gaius Mulley <gaiusmod2@gmail.com>
Date:   Wed Apr 5 23:07:46 2023 +0100

    PR modula2/109423 cc1gm2 ICE if an INCL or EXCL is performed on an unknown
set

    This patch fixes an ICE if attempting to INCL or EXCL on an unknown
    set.  The fix was to correct an error format string.  Also included in
    the patch are patches to remove unused variables.  The patch also
    marks a variable as written in BuildAdr.

    gcc/m2/ChangeLog:

            PR modula2/109423
            * gm2-compiler/M2Base.def (Unbounded): Remove.
            * gm2-compiler/M2Error.def (ErrorAbort0): Add noreturn
            attribute.
            * gm2-compiler/M2Quads.mod (BuildInclProcedure): Correct
            error format string.
            (BuildExceptProcedure): Correct error format string.
            (BuildAdrFunction): Call PutWriteQuad when taking the
            address of a variable.
            * gm2-libs-ch/SysExceptions.c (_M2_SysExceptions_init): Add
            parameters.
            * gm2-libs-ch/wrapc.c (_M2_wrapc_init): Add parameters.
            * gm2-libs/DynamicStrings.mod (DumpStringInfo): Remove t.
            (PopAllocationExemption): Remove f.
            * gm2-libs/FIO.mod (BufferedWrite): Remove result.
            * gm2-libs/FormatStrings.mod (Copy): Remove endpos and
            afterperc.
            (HandlePercent): Remove result.
            * gm2-libs/Indexing.mod (RemoveIndiceFromIndex): Remove k.
            * gm2-libs/M2Dependent.mod (CreateModule): Remove p0
            and p1.
            (DumpModuleData): Remove mptr.
            (ConstructModules): Remove nulp.
            * gm2-libs/RTExceptions.mod (PopHandler): Remove i.
            * gm2-libs/RTint.mod (Listen): Remove b4s, b4m, afs
            and afm.
            * gm2-libs/SFIO.mod (ReadS): Remove c.
            * gm2-libs/StringConvert.mod (doDecimalPlaces): Remove
            whole and fraction.

    gcc/testsuite/ChangeLog:

            * gm2/pim/fail/setunknown.mod: New test.
            PR modula2/109423
            * gm2/pim/fail/setunknown2.mod: New test.

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

[Bug modula2/109423] cc1gm2 ICE if an INCL or EXCL is performced on an unknown set

[gaius at gcc dot gnu.org]

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

Gaius Mulley <gaius at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2023-04-05
             Status|UNCONFIRMED                 |ASSIGNED

--- Comment #2 from Gaius Mulley <gaius at gcc dot gnu.org> ---
The bugfix was a format specifier in M2Quads.mod:BuildInclProcedure and
BuildExclProcedure.  The patch above include these fixes and also removes
unused variables.

[Bug modula2/109423] cc1gm2 ICE if an INCL or EXCL is performced on an unknown set

[gaius at gcc dot gnu.org]

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

Gaius Mulley <gaius at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #3 from Gaius Mulley <gaius at gcc dot gnu.org> ---
Closing now the patch has been applied.