https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112524
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
CC| |ebotcazou at gcc dot gnu.org
Last reconfirmed| |2023-11-14
Summary|gnat crashes when |internal error on
|initializing an array to a |quantified expression in
|size determined by a |others clause
|vector's length |
Status|UNCONFIRMED |NEW
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Not a crash though, but an internal compiler error as indicated. The error is
different on the mainline:
eric@fomalhaut:~/build/gcc-13/native> ~/install/gcc/bin/gcc -c p.adb
+===========================GNAT BUG DETECTED==============================+
| 14.0.0 20231109 (experimental) [master r14-5375-g2e0a1f778ca]
(x86_64-suse-linux) |
| Assert_Failure failed precondition from sinfo-nodes.ads:5029 |
| Error detected at p.adb:17:13 |
| Compiling p.adb
