[Ada] Fix PR ada/62122

[Eric Botcazou]

This is an old glitch in the GNAT RM.

Tested on x86-64/Linux, applied on the mainline.


2024-10-26  Eric Botcazou  <ebotca...@adacore.com>

        PR ada/62122
        * doc/gnat_rm/implementation_defined_attributes.rst
        (Unrestricted_Access): Remove null exclusion.
        * gnat_rm.texi: Regenerate.

-- 
Eric Botcazou
diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
index 2db245a0b88..f0518106853 100644
--- a/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
@@ -1382,7 +1382,7 @@ has returned, such calls are erroneous. For example:
 
   package body P is
 
-     type Less_Nested is not null access procedure;
+     type Less_Nested is access procedure;
      Global : Less_Nested;
 
      procedure P1 is
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 4bcdcf6781d..647207f89e9 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -12066,7 +12066,7 @@ has returned, such calls are erroneous. For example:
 @example
 package body P is
 
-   type Less_Nested is not null access procedure;
+   type Less_Nested is access procedure;
    Global : Less_Nested;
 
    procedure P1 is