[Bug modula2/112920] New: gm2 hangs in the type resolver

["gaius at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 112920
           Summary: gm2 hangs in the type resolver
           Product: gcc
           Version: 14.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: ---

Created attachment 56834
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=56834&action=edit
test case showing bug

A large program with many data types causes gm2 to hang in the type resolver.

Forwarded from the gm2 mailing list to track bug progress etc:

"""
I could generate dynamic
or static binaries but now with version 191 gm2 seems to go into an
endless loop. Perhaps you can see what's going wrong?

BTW for staring a compilation one may simply enter

./mach_squash1

for a dynamic binary or

./mach_squash1_static

for a static binary in the relevant directory.
"""

It hangs in the dist_gm2_191 directory when invoked with:

$ gm2 -fiso -fsoft-check-all squash1.mod Ctv2.o unix.o -o squash1 -lc -lcrypt
-lm