From: Ronan Desplanques <desplanq...@adacore.com>
The parameters Maximum_Size and If_Empty were mentioned during the
request for comments phase but are not implemented, at least for now.
This patch changes the GNAT reference manual accordingly. It also makes
a minor punctuation change.
gcc/ada/ChangeLog:
* doc/gnat_rm/gnat_language_extensions.rst: Adjust documentation.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/doc/gnat_rm/gnat_language_extensions.rst | 6 +-----
gcc/ada/gnat_rm.texi | 10 +---------
gcc/ada/gnat_ugn.texi | 2 +-
3 files changed, 3 insertions(+), 15 deletions(-)
diff --git a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
index 4cb1560ae9c..088d289f35f 100644
--- a/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
+++ b/gcc/ada/doc/gnat_rm/gnat_language_extensions.rst
@@ -1570,11 +1570,7 @@ Example:
``External_Initialization`` aspect accepts the following parameters:
-- mandatory ``Path``: the path the compiler uses to access the binary resource;
-- optional ``Maximum_Size``: the maximum number of bytes the compiler reads
from
- the resource;
-- optional ``If_Empty``: an expression used in place of read data in case
- the resource is empty;
+- mandatory ``Path``: the path the compiler uses to access the binary resource.
``Path`` is resolved according to the same rules the compiler uses for loading
the source files.
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 96b13e51c07..4bcdcf6781d 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -30786,15 +30786,7 @@ end P;
@itemize -
@item
-mandatory @code{Path}: the path the compiler uses to access the binary
resource;
-
-@item
-optional @code{Maximum_Size}: the maximum number of bytes the compiler reads
from
-the resource;
-
-@item
-optional @code{If_Empty}: an expression used in place of read data in case
-the resource is empty;
+mandatory @code{Path}: the path the compiler uses to access the binary
resource.
@end itemize
@code{Path} is resolved according to the same rules the compiler uses for
loading the source files.
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index be1958da076..6e8e0b5dc36 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -29695,8 +29695,8 @@ to permit their use in free software.
@printindex ge
-@anchor{d1}@w{ }
@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{
}
+@anchor{d1}@w{ }
@c %**end of body
@bye
--
2.43.0
