https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114398
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever confirmed|0 |1 Summary|Unexpected storage error in |[13/14 regression] |return statement that |Storage_Error with 'Access |should return a limited |of function returning |controlled type. |limited type CC| |ebotcazou at gcc dot gnu.org Last reconfirmed| |2024-03-20 --- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- This does not compile on the mainline: eric@localhost:~/Downloads> ~/install/gcc/bin/gcc -c reproducer.adb +===========================GNAT BUG DETECTED==============================+ | 14.0.1 20240311 (experimental) [master 1d193fb3484] (x86_64-suse-linux) | | Assert_Failure exp_attr.adb:2411 | | Error detected at reproducer.adb:74:13 | | Compiling reproducer.adb pragma Assert (Extra_Formals_Match_OK (E => Entity (Pref), Ref_E => Btyp_DDT));