https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101970
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2021-09-12 CC| |ebotcazou at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- This raises an assertion failure on the mainline: eric@fomalhaut:~/gnat> ~/install/gcc/bin/gcc -c p.adb +===========================GNAT BUG DETECTED==============================+ | 12.0.0 20210909 (experimental) (x86_64-suse-linux) Assert_Failure checks.adb:7793| | Error detected at p.adb:107:44 | | Compiling p.adb but this seems to be quite an artificial testcase.