https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120669
Bug ID: 120669
Summary: overloading of constructor of type that have an
implicit dereference
Product: gcc
Version: 15.1.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: gnu.waving at titamail dot com
CC: dkm at gcc dot gnu.org
Target Milestone: ---
Created attachment 61645
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=61645&action=edit
Project file, using alire
When I compile the attached project, I got this error:
```
ⓘ Building
initialization_of_implicit_dereference=0.1.0-dev/initialization_of_implicit_dereference.gpr...
Compile
[Ada] initialization_of_implicit_dereference.adb
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/system.ads
/Volumes/Data/programmation/Ada/GNAT
Bug/initialization_of_implicit_dereference/src/initialization_of_implicit_dereference.adb
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/ada.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-contai.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-ciorma.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-iteint.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-crbltr.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-conhel.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-finali.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-finroo.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-atocou.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-stream.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-string.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-sttebu.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-stuten.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-unccon.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/interfac.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-strunb.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-strmap.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-charac.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-chlat1.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-strsea.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-stalib.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-exctab.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-tags.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-stoele.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-soflin.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-except.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-parame.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-traent.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-secsta.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-stache.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-putima.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-unstyp.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-stratt.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-retsta.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-finpri.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-oslock.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/i-c.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-oscons.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-imad64.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-imagea.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-ststop.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-string.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/a-uncdea.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-pooglo.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-stopoo.ads
/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/lib/gcc/x86_64-apple-darwin22.6.0/15.1.0/adainclude/s-stposu.ads
+===========================GNAT BUG DETECTED==============================+
| 15.1.0 (x86_64-apple-darwin22.6.0) Program_Error atree.adb:1203 explicit
raise|
| Error detected at initialization_of_implicit_dereference.adb:48:19 |
| Compiling /Volumes/Data/programmation/Ada/GNAT
Bug/initialization_of_implicit_dereference/src/initialization_of_implicit_dereference.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).
/Volumes/Data/programmation/Ada/GNAT
Bug/initialization_of_implicit_dereference/src/initialization_of_implicit_dereference.adb
initialization_of_implicit_dereference.adb:9:22: warning: "Unbounded" is
already use-visible through previous use_clause at line 5 [-gnatwr]
initialization_of_implicit_dereference.adb:17:10: (style) space required
[-gnatyt]
initialization_of_implicit_dereference.adb:36:26: warning: coextension will not
be deallocated when its associated owner is deallocated [enabled by default]
initialization_of_implicit_dereference.adb:36:26: warning: use of an anonymous
access type allocator [-gnatw_a]
initialization_of_implicit_dereference.adb:43:26: warning: coextension will not
be deallocated when its associated owner is deallocated [enabled by default]
initialization_of_implicit_dereference.adb:43:26: warning: use of an anonymous
access type allocator [-gnatw_a]
compilation abandoned
compilation of initialization_of_implicit_dereference.adb failed
gprbuild: *** compilation phase failed
error: Command ["gprbuild", "-s", "-j0", "-p", "-P",
"/Volumes/Data/programmation/Ada/GNAT
Bug/initialization_of_implicit_dereference/initialization_of_implicit_dereference.gpr"]
exited with code 4
error: Build failed
```
GCC version:
```
alr exec -- gcc -v
Using built-in specs.
COLLECT_GCC=/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/bin/gcc
COLLECT_LTO_WRAPPER=/Users/heziode/.local/share/alire/toolchains/gnat_native_15.1.2_2166c311/bin/../libexec/gcc/x86_64-apple-darwin22.6.0/15.1.0/lto-wrapper
Target: x86_64-apple-darwin22.6.0
Configured with: ../src/configure
--prefix=/Users/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-darwin/gcc/install
--enable-languages=c,ada,c++ --enable-libstdcxx --enable-libstdcxx-threads
--enable-libada --disable-nls --without-libiconv-prefix --disable-libstdcxx-pch
--enable-lto --disable-multilib --disable-libcilkrts
--with-build-sysroot=/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.sdk
--with-specs='%{!sysroot=*:--sysroot=%:if-exists-else(/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX14.sdk
/Library/Developer/CommandLineTools/SDKs/MacOSX14.sdk)}'
--with-mpfr=/Users/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-darwin/mpfr/install
--with-gmp=/Users/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-darwin/gmp/install
--with-mpc=/Users/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-darwin/mpc/install
--build=x86_64-apple-darwin22.6.0
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 15.1.0 (GCC)
```
OS: macOS 15.4.1 (24E263)
The GPR uses theses files:
```
-Og
-ffunction-sections
-fdata-sections
-g
-gnatwa
-gnatw.X
-gnatVa
-gnaty3
-gnatya
-gnatyA
-gnatyB
-gnatyb
-gnatyc
-gnaty-d
-gnatye
-gnatyf
-gnatyh
-gnatyi
-gnatyI
-gnatyk
-gnatyl
-gnatym
-gnatyn
-gnatyO
-gnatyp
-gnatyr
-gnatyS
-gnatyt
-gnatyu
-gnatyx
-gnatW8
-gnatyM120
-gnat2022
-gnatd.n
```
The exact command line passed to the gcc program triggering the bug:
Using Alire (https://alire.ada.dev/)
```
alr bulid
```
a description of the expected behavior:
Compiles without errors, producing a function overloading with an implicit
dereferenced type.
a description of actual behavior:
Compiler crash
