https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62122
--- Comment #2 from Georg <georggcc at googlemail dot com> --- Created attachment 40352 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=40352&action=edit changes to example in GNAT RM section on Unrestricted_Access Since variable Global needs initialization, I have added an access value pointing to a new procedure. For the latter, I have chosen a most unrestricted procedure, null, which seemed fitting. This preserves the null exclusion of the subprogram pointer type.