From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 48) id A9D9D382BD3B; Tue, 7 Jun 2022 11:17:12 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org A9D9D382BD3B From: "matthias291999 at gmail dot com" To: gcc-bugs@gcc.gnu.org Subject: [Bug ada/105872] New: GNAT Bug Box compiling spark_xrefs.adb Date: Tue, 07 Jun 2022 11:17:12 +0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: ada X-Bugzilla-Version: 13.0 X-Bugzilla-Keywords: X-Bugzilla-Severity: normal X-Bugzilla-Who: matthias291999 at gmail dot com X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Resolution: X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Flags: X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status bug_severity priority component assigned_to reporter target_milestone Message-ID: 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 X-BeenThere: gcc-bugs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-bugs mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 07 Jun 2022 11:17:12 -0000 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D105872 Bug ID: 105872 Summary: GNAT Bug Box compiling spark_xrefs.adb Product: gcc Version: 13.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: matthias291999 at gmail dot com Target Milestone: --- configure: ../configure -v --enable-checking=3Drelease --enable-languages=3Dc,ada make: make -Otarget -j8 winver: Microsoft Windows [Version 10.0.25131.1000] uname: (on wsl2) Linux Dell-Precision-7730 5.10.102.1-microsoft-standard-WSL2 #1 SMP Wed Mar= 2 00:30:59 UTC 2022 x86_64 x86_64 x86_64 GNU/Linux Following are 2 GNAT Bug Boxes +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3DGNAT BUG DETECTED=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D+ | 13.0.0 20220606 (experimental) (x86_64-pc-linux-gnu) Program_Error sem.adb:755 explicit raise| | Error detected at system.ads:81:48 | | Compiling ../../gcc/ada/spark_xrefs.adb | | Please submit a bug report; see https://gcc.gnu.org/bugs/ . | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box in the report. | | Include the exact command that you entered. | | Also include sources listed below. | +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. Consider also -gnatd.n switch (see debug.adb). ../../gcc/ada/gcc-interface/system.ads ../../gcc/ada/spark_xrefs.adb ../../gcc/ada/spark_xrefs.ads ../../gcc/ada/types.ads ../../gcc/ada/libgnat/ada.ads ../../gcc/ada/libgnat/a-unccon.ads ../../gcc/ada/libgnat/a-uncdea.ads ../../gcc/ada/lib.ads ../../gcc/ada/alloc.ads ../../gcc/ada/namet.ads ../../gcc/ada/hostparm.ads ../../gcc/ada/table.ads ada/gnat.ads ../../gcc/ada/libgnat/g-htable.ads ../../gcc/ada/libgnat/s-htable.ads ../../gcc/ada/lib-xref.ads ../../gcc/ada/einfo.ads ada/snames.ads ../../gcc/ada/stand.ads ../../gcc/ada/uintp.ads ../../gcc/ada/urealp.ads ada/einfo-entities.ads ../../gcc/ada/sinfo.ads ada/sinfo-nodes.ads ada/seinfo.ads ../../gcc/ada/output.ads ../../gcc/ada/libgnat/s-os_lib.ads ../../gcc/ada/libgnat/s-string.ads ../../gcc/ada/sem_util.ads ../../gcc/ada/aspects.ads ../../gcc/ada/atree.ads ../../gcc/ada/einfo-utils.ads ../../gcc/ada/exp_tss.ads ../../gcc/ada/opt.ads ../../gcc/ada/libgnat/s-wchcon.ads compilation abandoned and +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3DGNAT BUG DETECTED=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D+ | 13.0.0 20220606 (experimental) (x86_64-pc-linux-gnu) Program_Error sem.adb:755 explicit raise| | Error detected at system.ads:81:48 | | Compiling ../../gcc/ada/ali.adb | | Please submit a bug report; see https://gcc.gnu.org/bugs/ . | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box in the report. | | Include the exact command that you entered. | | Also include sources listed below. | +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. Consider also -gnatd.n switch (see debug.adb). ../../gcc/ada/gcc-interface/system.ads ../../gcc/ada/ali.adb ../../gcc/ada/ali.ads ../../gcc/ada/casing.ads ../../gcc/ada/namet.ads ../../gcc/ada/alloc.ads ../../gcc/ada/hostparm.ads ../../gcc/ada/types.ads ../../gcc/ada/libgnat/ada.ads ../../gcc/ada/libgnat/a-unccon.ads ../../gcc/ada/libgnat/a-uncdea.ads ../../gcc/ada/table.ads ada/generated/gnatvsn.ads ../../gcc/ada/rident.ads ada/s-rident.ads ada/gnat.ads ada/g-dyntab.ads ../../gcc/ada/libgnat/g-htable.ads ../../gcc/ada/libgnat/s-htable.ads ../../gcc/ada/butil.ads ../../gcc/ada/debug.ads ../../gcc/ada/fname.ads ../../gcc/ada/opt.ads ../../gcc/ada/libgnat/s-string.ads ../../gcc/ada/libgnat/s-wchcon.ads ../../gcc/ada/osint.ads ../../gcc/ada/libgnat/s-os_lib.ads ../../gcc/ada/libgnat/s-stoele.ads ../../gcc/ada/output.ads ada/snames.ads ada/g-dynhta.ads ../../gcc/ada/libgnat/s-strhas.ads compilation abandoned=