From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id C5A283858C62; Fri,  8 Dec 2023 13:58:14 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C5A283858C62
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1702043894;
	bh=t1QpfsXuZ3LeESlsUeM2oXkl09WxBhUyPWsOLJTmnBo=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=SirlA3GVUWDH0os3h36T+XcWfJLAnM5vaktP1IUahVFejXLc9mbUZmqn1C/imfxrC
	 GpBKE9Cx2dA9bpXPvh4D0dRwKeCgsJub4wGovLapkyInUTwI10H/VTT284CskViUTd
	 uzkBWeetsG9Fj5FKMwbu9ibj3lvZ1Rxuw5rcXCe0=
From: "gaius at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug modula2/112920] gm2 hangs in the type resolver
Date: Fri, 08 Dec 2023 13:58:14 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: modula2
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: gaius at gcc dot gnu.org
X-Bugzilla-Status: ASSIGNED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: gaius at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: cf_reconfirmed_on bug_status everconfirmed
Message-ID: <bug-112920-4-q4TjnuKlZn@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-112920-4@http.gcc.gnu.org/bugzilla/>
References: <bug-112920-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2023-12-08
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1

--- Comment #1 from Gaius Mulley <gaius at gcc dot gnu.org> ---
Confirmed - in directory 191:

$ gm2 -fiso -fsoft-check-all squash1.mod Ctv2.o unix.o -o squash1 -lc -lcry=
pt
-lm -wrapper gdb,--args
(gdb) run
^C
(gdb) where
#0  __udivmodti4 (rp=3D0x0, d=3D<optimized out>, n=3D<optimized out>) at
../../../libgcc/libgcc2.c:1203
#1  __divti3 (u=3D704, v=3D<optimized out>) at ../../../libgcc/libgcc2.c:12=
25
#2  0x0000000000ac3683 in findPos (pb=3D0xa1ba320, i=3D719) at
../../gcc/m2/gm2-compiler/Sets.mod:145
#3  0x0000000000ac2e25 in Sets_IsElementInSet (s=3D0x3362d30, i=3D719) at
../../gcc/m2/gm2-compiler/Sets.mod:254
#4  0x0000000000a2fc3b in TraverseDependantsInner (sym=3D719) at
../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:2087
#5  0x0000000000a3bd99 in WalkArrayDependants (sym=3D7430, p=3D0x7fffffffd8=
e0) at
../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:5981
#6  0x0000000000a2fb07 in WalkDependants (sym=3D7430, p=3D0x7fffffffd920) at
../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:2055
#7  0x0000000000a2fca4 in TraverseDependantsInner (sym=3D7430) at
../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:2095
#8  0x0000000000a2f300 in WalkConst (sym=3D14448, p=3D0x7fffffffd960) at
../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:1690
#9  0x0000000000a2fbcc in WalkDependants (sym=3D14448, p=3D0x7fffffffd990) =
at
../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:2070
#10 0x0000000000a2fca4 in TraverseDependantsInner (sym=3D14448) at
../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:2095
#11 0x0000000000a2fcef in TraverseDependants (sym=3D14448) at
../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:2111
#12 0x0000000000a2bcf5 in M2GCCDeclare_TryDeclareConstant (tokenno=3D8668,
sym=3D14448) at ../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:1738
#13 0x0000000000a42961 in FoldBecomes (tokenno=3D8668, p=3D0x7fffffffda30,
quad=3D1125, op1=3D7458, op3=3D14448) at ../../gcc/m2/gm2-compiler/M2GenGCC=
.mod:2667
#14 0x0000000000a3cb7c in M2GenGCC_ResolveConstantExpressions
(p=3D0x7fffffffda88, start=3D700, end=3D1129) at
../../gcc/m2/gm2-compiler/M2GenGCC.mod:600
#15 0x0000000000a30a17 in DeclareTypesConstantsProceduresInRange (scope=3D1=
78,
start=3D700, end=3D1129) at ../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:2573
#16 0x0000000000a9f2ba in M2Scope_ForeachScopeBlockDo (sb=3D0xa1b9df0,
p=3D0x7fffffffdb10) at ../../gcc/m2/gm2-compiler/M2Scope.mod:431
#17 0x0000000000a30bb9 in DeclareTypesConstantsProcedures (scope=3D178) at
../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:2649
#18 0x0000000000a30df3 in StartDeclareModuleScopeSeparate (scope=3D178) at
../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:2734
#19 0x0000000000a30fcc in StartDeclareModuleScope (scope=3D178) at
../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:2806
#20 0x0000000000a2baaa in M2GCCDeclare_StartDeclareScope (scope=3D178) at
../../gcc/m2/gm2-compiler/M2GCCDeclare.mod:2863



type resolver is spinning in an infinite loop.=