[Bug ada/105872] New: GNAT Bug Box compiling spark_xrefs.adb

[Bug ada/105872] New: GNAT Bug Box compiling spark_xrefs.adb

[matthias291999 at gmail dot com]

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

[Bug ada/105872] GNAT Bug Box compiling spark_xrefs.adb

[matthias291999 at gmail dot com]

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

--- Comment #1 from Matthias Zimmerman <matthias291999 at gmail dot com> ---
analyzing  Node_Id = 2490  system.ads:81:48  N_ENTRY_CALL_STATEMENT

This should not be N_ENTRY_CALL_STATEMENT, an earlier pass should have
converted it into N_OP_MINUS

(grep " 2490 " on gcc-12.1)
analyzing  Node_Id = 2490  system.ads:81:48  N_OP_MINUS

[Bug ada/105872] GNAT Bug Box compiling gcc/ada/spark_xrefs.adb

[mikpelinux at gmail dot com]

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

Mikael Pettersson <mikpelinux at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mikpelinux at gmail dot com

--- Comment #2 from Mikael Pettersson <mikpelinux at gmail dot com> ---
I think this might be what's discussed in
https://gcc.gnu.org/pipermail/gcc-patches/2022-June/596202.html. Try reverting
ed6fd2aed58f2cca99f15331bf68999c0e6df370 for now.

[Bug ada/105872] GNAT Bug Box compiling gcc/ada/spark_xrefs.adb

[mikpelinux at gmail dot com]

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

--- Comment #3 from Mikael Pettersson <mikpelinux at gmail dot com> ---
Also see PR105874.

[Bug ada/105872] GNAT Bug Box compiling gcc/ada/spark_xrefs.adb

[matthias291999 at gmail dot com]

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

--- Comment #4 from Matthias Zimmerman <matthias291999 at gmail dot com> ---
git bisect blames ed6fd2aed58f2cca99f15331bf68999c0e6df370 for this bug...

[Bug ada/105872] GNAT Bug Box compiling gcc/ada/spark_xrefs.adb

[ebotcazou at gcc dot gnu.org]

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

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |DUPLICATE
                 CC|                            |ebotcazou at gcc dot gnu.org

--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
.

*** This bug has been marked as a duplicate of bug 105874 ***