From: Bob Duff <duff@adacore.com>
Date: Fri, 30 May 2025 13:38:04 +0000 (-0400)
Subject: ada: Correct documentation of policy_identifiers for Assertion_Policy
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=80a68f555b2ff160be829fdf4f5c16926b01f2a7;p=thirdparty%2Fgcc.git

ada: Correct documentation of policy_identifiers for Assertion_Policy

Follow-on to gnat-945.

Change Ignore to Disable; Ignore is defined by the language,
Disable is the implementation-defined one.

Also minor code cleanup.

gcc/ada/ChangeLog:

	* doc/gnat_rm/implementation_defined_characteristics.rst:
	Change Ignore to Disable.
	* sem_ch13.ads (Analyze_Aspect_Specifications):
	Minor: Remove incorrect comment; there is no need to check
	Has_Aspects (N) at the call site.
	* gnat_rm.texi: Regenerate.
	* gnat_ugn.texi: Regenerate.
---

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst b/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst
index 563f62a04f9..f7746c8e72f 100644
--- a/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_characteristics.rst
@@ -463,7 +463,7 @@ Implementation-defined assertion_aspect_marks include Assert_And_Cut,
 Assume, Contract_Cases, Debug, Ghost, Initial_Condition, Loop_Invariant,
 Loop_Variant, Postcondition, Precondition, Predicate, Refined_Post,
 Statement_Assertions, and Subprogram_Variant. Implementation-defined
-policy_identifiers include Ignore and Suppressible.
+policy_identifiers include Disable and Suppressible.
 
 *
   "The default assertion policy.  See 11.4.2(10)."
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 6e95e34359a..79fb225a555 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -16894,7 +16894,7 @@ Implementation-defined assertion_aspect_marks include Assert_And_Cut,
 Assume, Contract_Cases, Debug, Ghost, Initial_Condition, Loop_Invariant,
 Loop_Variant, Postcondition, Precondition, Predicate, Refined_Post,
 Statement_Assertions, and Subprogram_Variant. Implementation-defined
-policy_identifiers include Ignore and Suppressible.
+policy_identifiers include Disable and Suppressible.
 
 
 @itemize *
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 6cd0bed8d67..7b3175e3d27 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -30297,8 +30297,8 @@ to permit their use in free software.
 
 @printindex ge
 
-@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{                              }
 @anchor{d2}@w{                              }
+@anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{                              }
 
 @c %**end of body
 @bye
diff --git a/gcc/ada/sem_ch13.ads b/gcc/ada/sem_ch13.ads
index 9bf1ce310c5..f2c5f706200 100644
--- a/gcc/ada/sem_ch13.ads
+++ b/gcc/ada/sem_ch13.ads
@@ -43,8 +43,7 @@ package Sem_Ch13 is
 
    procedure Analyze_Aspect_Specifications (N : Node_Id; E : Entity_Id);
    --  This procedure is called to analyze aspect specifications for node N. E
-   --  is the corresponding entity declared by the declaration node N. Callers
-   --  should check that Has_Aspects (N) is True before calling this routine.
+   --  is the corresponding entity declared by the declaration node N.
 
    procedure Analyze_Aspects_On_Subprogram_Body_Or_Stub (N : Node_Id);
    --  Analyze the aspect specifications of [generic] subprogram body or stub