https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111434
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Last reconfirmed| |2023-09-24
Summary|Infinite loop with limited |[13/14 regression] infinite
|withs? |loop with limited with
| |clauses
Status|UNCONFIRMED |NEW
CC| |ebotcazou at gcc dot gnu.org
Ever confirmed|0 |1
--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Confirmed, it's an assertion failure on the mainline:
eric@fomalhaut:~/build/gcc/native/tmp>gcc -c pyside6-qtcore.adb
+===========================GNAT BUG DETECTED==============================+
| 14.0.0 20230918 (experimental) [master r14-4085-g93996cfb308]
(x86_64-suse-linux) |
| Assert_Failure sem_ch10.adb:5305 |
| Error detected at pyside6-qtcore-qtmsgtype.ads:2:23 |
| Compiling pyside6-qtcore.adb |
