public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "matthias291999 at gmail dot com" <gcc-bugzilla@gcc.gnu.org> 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 [thread overview] Message-ID: <bug-105872-4@http.gcc.gnu.org/bugzilla/> (raw) https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105872 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=release --enable-languages=c,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 +===========================GNAT BUG DETECTED==============================+ | 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. | +==========================================================================+ 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 +===========================GNAT BUG DETECTED==============================+ | 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. | +==========================================================================+ 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
next reply other threads:[~2022-06-07 11:17 UTC|newest] Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top 2022-06-07 11:17 matthias291999 at gmail dot com [this message] 2022-06-07 18:58 ` [Bug ada/105872] " matthias291999 at gmail dot com 2022-06-08 9:06 ` [Bug ada/105872] GNAT Bug Box compiling gcc/ada/spark_xrefs.adb mikpelinux at gmail dot com 2022-06-08 9:08 ` mikpelinux at gmail dot com 2022-06-08 9:13 ` matthias291999 at gmail dot com 2022-06-08 19:43 ` ebotcazou at gcc dot gnu.org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-105872-4@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).