https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124310 --- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- In fact earlier compilers rejected it with: p.adb:20:15: non-local pointer cannot point to local object