https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110398
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |NEW
Summary|Program_Error |internal error on call with
|sem_eval.adb:4635 explicit |parameter of predicated
|raise |subtype
--- Comment #4 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Thanks. Confirmed on the mainline with an assertion failure:
eric@fomalhaut:~/build/gcc/native> gcc/gnat1 -quiet example.adb
+===========================GNAT BUG DETECTED==============================+
| 14.0.0 20230626 (experimental) [master r14-2083-g068eba260fa]
(x86_64-suse-linux) |
| Assert_Failure sem.adb:650 |
| Error detected at example.adb:3:42 |
| Compiling example.adb
