[Bug ada/62122] GNAT RM: flaw in example of @node Attribute Unrestricted_Access

georggcc at googlemail dot com gcc-bugzilla@gcc.gnu.org
Fri Dec 16 21:08:00 GMT 2016


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.


More information about the Gcc-bugs mailing list