[Bug modula2/121354] ICE when attempting to fold HIGH from an unbounded array in a nested procedure

[gaius at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2025-08-01
             Status|UNCONFIRMED                 |ASSIGNED

--- Comment #1 from Gaius Mulley <gaius at gcc dot gnu.org> ---
Confirmed, the ICE output is:

$ gm2 -fiso squash1.mod
the gm2 front end poisoned this symbol (schnur)
In function ‘GetGPMString’:
cc1gm2: internal compiler error: attempting to use a gcc symbol which is no
longer in scope
0x38612ff internal_error(char const*, ...)
        ../../gcc/diagnostic-global-context.cc:534
0xf444f6 m2linemap_internal_error
        ../../gcc/m2/gm2-gcc/m2linemap.cc:257
0x10413cb M2Emit_InternalError
        m2/gm2-compiler-boot/M2Emit.c:104
0xf8219d M2Error_InternalError
        m2/gm2-compiler-boot/M2Error.c:929
0xfebc8a SymbolConversion_Mod2Gcc
        m2/gm2-compiler-boot/SymbolConversion.c:198
0xfa1b13 M2GenGCC_GetHighFromUnbounded
        m2/gm2-compiler-boot/M2GenGCC.c:10127
0xf9c6f7 ResolveHigh
        m2/gm2-compiler-boot/M2GenGCC.c:7971
0xf9c7a0 FoldHigh
        m2/gm2-compiler-boot/M2GenGCC.c:8000
0xfa1716 M2GenGCC_ResolveConstantExpressions
        m2/gm2-compiler-boot/M2GenGCC.c:9968
0xf8fe9f M2GCCDeclare_FoldConstants
        m2/gm2-compiler-boot/M2GCCDeclare.c:8363
0xf7661f M2BasicBlock_ForeachBasicBlockDo
        m2/gm2-compiler-boot/M2BasicBlock.c:500
0xf88128 DeclareTypesConstantsProceduresInRange
        m2/gm2-compiler-boot/M2GCCDeclare.c:4247
0xfd8043 M2Scope_ForeachScopeBlockDo3
        m2/gm2-compiler-boot/M2Scope.c:703
0xf88335 DeclareTypesConstantsProcedures
        m2/gm2-compiler-boot/M2GCCDeclare.c:4347
0xf88475 StartDeclareProcedureScope
        m2/gm2-compiler-boot/M2GCCDeclare.c:4413
0xf8fed0 M2GCCDeclare_StartDeclareScope
        m2/gm2-compiler-boot/M2GCCDeclare.c:8385
0xf93853 CodeProcedureScope
        m2/gm2-compiler-boot/M2GenGCC.c:3629
0xf91501 CodeStatement
        m2/gm2-compiler-boot/M2GenGCC.c:2147
0xfa12c1 M2GenGCC_ConvertQuadsToTree
        m2/gm2-compiler-boot/M2GenGCC.c:9829
0xfd7fcd M2Scope_ForeachScopeBlockDo2
        m2/gm2-compiler-boot/M2Scope.c:671
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.