[Bug ada/114300] New: Bug box when compiling a program that instantiates a package with a nested ghost package.

[Bug ada/114300] New: Bug box when compiling a program that instantiates a package with a nested ghost package.

[d.van.raaij at gmail dot com]

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

            Bug ID: 114300
           Summary: Bug box when compiling a program that instantiates a
                    package with a nested ghost package.
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: d.van.raaij at gmail dot com
                CC: dkm at gcc dot gnu.org
  Target Milestone: ---

Created attachment 57663
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57663&action=edit
Reproducer

The code included in this report generates a bug box upon compilation. The code
is an isolated reproducer of the bug box that appears when compiling a program
that instantiates SPARKlib package "SPARK.Higher_Order.Fold.Sum".

Issue found on 14.0.1 (20240228), but occurs on 13.2.1 as well.

*** Compiler output ***

$ gcc -c reproducer.adb
+===========================GNAT BUG DETECTED==============================+
| 14.0.1 20240228 (Red Hat 14.0.1-0) (x86_64-redhat-linux) GCC error:      |
| in gnat_to_gnu_entity, at ada/gcc-interface/decl.cc:377                  |
| Error detected at reproducer.adb:33:42                                   |
| Compiling reproducer.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).

reproducer.adb

gcc: internal compiler error: Segmentation fault signal terminated program
gnat1
Please submit a full bug report, with preprocessed source (by using
-freport-bug).

*** Compiler version ***

$ gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-redhat-linux/14/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none:amdgcn-amdhsa
OFFLOAD_TARGET_DEFAULT=1
Target: x86_64-redhat-linux
Configured with: ../configure --enable-bootstrap
--enable-languages=c,c++,fortran,objc,obj-c++,ada,go,d,m2,lto --prefix=/usr
--mandir=/usr/share/man --infodir=/usr/share/info
--with-bugurl=http://bugzilla.redhat.com/bugzilla --enable-shared
--enable-threads=posix --enable-checking=release --enable-multilib
--with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions
--enable-gnu-unique-object --enable-linker-build-id
--with-gcc-major-version-only --enable-libstdcxx-backtrace
--with-libstdcxx-zoneinfo=/usr/share/zoneinfo --with-linker-hash-style=gnu
--enable-plugin --enable-initfini-array
--with-isl=/builddir/build/BUILD/gcc-14.0.1-20240228/obj-x86_64-redhat-linux/isl-install
--enable-offload-targets=nvptx-none,amdgcn-amdhsa --enable-offload-defaulted
--without-cuda-driver --enable-gnu-indirect-function --enable-cet
--with-tune=generic --with-arch_32=i686 --build=x86_64-redhat-linux
--with-build-config=bootstrap-lto --enable-link-serialization=1
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.1 20240228 (Red Hat 14.0.1-0) (GCC)

[Bug ada/114300] ICE when compiling a program that instantiates a package with a nested ghost package

[ebotcazou at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
            Summary|ICE when compiling a        |ICE when compiling a
                   |program that instantiates a |program that instantiates a
                   |package with a nested ghost |package with a nested ghost
                   |package.                    |package
   Last reconfirmed|                            |2024-03-11

[Bug ada/114300] ICE when compiling a program that instantiates a package with a nested ghost package

[ebotcazou at gcc dot gnu.org]

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

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
This has never compiled apparently.