From: Eric Botcazou <ebotcazou@adacore.com>
Date: Tue, 12 Jul 2022 11:48:17 +0000 (+0200)
Subject: [Ada] Extend No_Dependence restriction to code generation (continued)
X-Git-Tag: basepoints/gcc-14~4838
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=08a897d4ff7a482159148e2be9df83dae5a1055c;p=thirdparty%2Fgcc.git

[Ada] Extend No_Dependence restriction to code generation (continued)

gcc/ada/

	* doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
	(No_Dependence): Cite implicit dependences on the runtime library.
	* gnat_rm.texi, gnat_ugn.texi: Regenerate.
---

diff --git a/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst b/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
index 9ca405713253..f8e2a58595fb 100644
--- a/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
+++ b/gcc/ada/doc/gnat_rm/standard_and_implementation_defined_restrictions.rst
@@ -184,7 +184,9 @@ No_Dependence
 .. index:: No_Dependence
 
 [RM 13.12.1] This restriction ensures at compile time that there are no
-dependences on a library unit.
+dependences on a library unit. For GNAT, this includes implicit implementation
+dependences on units of the runtime library that are created by the compiler
+to support specific constructs of the language.
 
 No_Direct_Boolean_Operators
 ---------------------------
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 6f22eab7e4d2..fe2f434ca4df 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -12574,7 +12574,9 @@ delay statements and no semantic dependences on package Calendar.
 @geindex No_Dependence
 
 [RM 13.12.1] This restriction ensures at compile time that there are no
-dependences on a library unit.
+dependences on a library unit. For GNAT, this includes implicit implementation
+dependences on units of the runtime library that are created by the compiler
+to support specific constructs of the language.
 
 @node No_Direct_Boolean_Operators,No_Dispatch,No_Dependence,Partition-Wide Restrictions
 @anchor{gnat_rm/standard_and_implementation_defined_restrictions no-direct-boolean-operators}@anchor{1cb}
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index b11cf66e96a3..0f9f5ebd9975 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -29307,8 +29307,8 @@ to permit their use in free software.
 
 @printindex ge
 
-@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{                              }
 @anchor{cf}@w{                              }
+@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{                              }
 
 @c %**end of body
 @bye