https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110398
--- Comment #3 from aj at ianozi dot com ---
Sorry about that.
Here's the results on my Macbook (Darwin macbook 21.6.0 Darwin Kernel Version
21.6.0: Thu Mar 9 20:12:18 PST 2023;
root:xnu-8020.240.18.700.8~1/RELEASE_ARM64_T8110 arm64):
```
gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/opt/gcc-12.1.0-aarch64/libexec/gcc/aarch64-apple-darwin21/12.1.0/lto-wrapper
Target: aarch64-apple-darwin21
Configured with: /Volumes/Miscellaneous1/src/gcc-12-aarch64/configure
--prefix=/opt/gcc-12.1.0-aarch64 --without-libiconv-prefix --disable-libmudflap
--disable-libstdcxx-pch --disable-libsanitizer --disable-libcc1
--disable-libcilkrts --disable-multilib --disable-nls
--enable-languages=c,c++,ada --host=aarch64-apple-darwin21
--target=aarch64-apple-darwin21 --build=aarch64-apple-darwin21 --without-isl
--with-build-sysroot=/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk
--with-sysroot=
--with-specs='%{!sysroot=*:--sysroot=%:if-exists-else(/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX.sdk
/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk)}' --with-as=/usr/bin/as
--with-ld=/usr/bin/ld --with-ranlib=/usr/bin/ranlib
--with-dsymutil=/usr/bin/dsymutil --with-build-config=no --enable-bootstrap
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 12.1.0 (GCC)
```
The command is:
`gcc -c example.adb`
The result is:
```
+===========================GNAT BUG DETECTED==============================+
| 12.1.0 (aarch64-apple-darwin21) Program_Error sem_eval.adb:4631 explicit
raise|
| Error detected at example.adb:3:42 |
| Compiling example.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).
example.adb
foobar.ads
foo.ads
foobar-nested.ads
```
Here's `gcc -v` on debian (Linux scratch 5.10.0-23-amd64 #1 SMP Debian
5.10.179-1 (2023-05-12) x86_64 GNU/Linux) using alire:
```
Using built-in specs.
COLLECT_GCC=/home/aj/.config/alire/cache/dependencies/gnat_native_12.2.1_11f3b811/bin/gcc
COLLECT_LTO_WRAPPER=/home/aj/.config/alire/cache/dependencies/gnat_native_12.2.1_11f3b811/bin/../libexec/gcc/x86_64-pc-linux-gnu/12.2.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../src/configure
--prefix=/home/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-linux/gcc/install
--with-build-time-tools=/home/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-linux/binutils/install/bin
--enable-languages=c,ada,c++ --enable-libstdcxx --enable-libstdcxx-threads
--enable-libada --disable-nls --without-libiconv-prefix --disable-libstdcxx-pch
--enable-lto --disable-multilib --enable-threads=posix --with-gnu-ld
--with-gnu-as
--with-mpfr=/home/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-linux/mpfr/install
--with-gmp=/home/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-linux/gmp/install
--with-mpc=/home/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-linux/mpc/install
--with-isl=/home/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-linux/isl/install
--build=x86_64-pc-linux-gnu
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 12.2.0 (GCC)
```
Command `~/.config/alire/cache/dependencies/gnat_native_12.2.1_11f3b811/bin/gcc
-c example.adb` gives me:
```
+===========================GNAT BUG DETECTED==============================+
| 12.2.0 (x86_64-pc-linux-gnu) Program_Error sem_eval.adb:4631 explicit raise|
| Error detected at example.adb:3:42 |
| Compiling example.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).
example.adb
foobar.ads
foo.ads
foobar-nested.ads
compilation abandoned
```
I've attached all of those files in a .zip.
On gcc 13 I was using ada.godbolt.org, but if that's insufficient, and you need
me to try this on gcc13 on a local machine I can once I'm at another computer,
please let me know.
