[Ada] Default_Initial_Condition assertion policy is now RM defined

gcc/ada/

	* doc/gnat_rm/implementation_defined_pragmas.rst:
	(Assertion_Policy): Move "Default_Initial_Condition" from
	ID_ASSERTION_KIND to RM_ASSERTION_KIND section.
	* gnat_rm.texi: Regenerate.

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
index 2fad1d656a040f0c9311bdb579bf84ebad9c5de3..f8a62a5727859b2fabf2d849281ec9893741f1eb 100644 (file)
--- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
@@ -434,33 +434,33 @@ Syntax::
 
   ASSERTION_KIND ::= RM_ASSERTION_KIND | ID_ASSERTION_KIND
 
-  RM_ASSERTION_KIND ::= Assert               |
-                        Static_Predicate     |
-                        Dynamic_Predicate    |
-                        Pre                  |
-                        Pre'Class            |
-                        Post                 |
-                        Post'Class           |
-                        Type_Invariant       |
-                        Type_Invariant'Class
-
-  ID_ASSERTION_KIND ::= Assertions                |
-                        Assert_And_Cut            |
-                        Assume                    |
-                        Contract_Cases            |
-                        Debug                     |
-                        Default_Initial_Condition |
-                        Ghost                     |
-                        Initial_Condition         |
-                        Invariant                 |
-                        Invariant'Class           |
-                        Loop_Invariant            |
-                        Loop_Variant              |
-                        Postcondition             |
-                        Precondition              |
-                        Predicate                 |
-                        Refined_Post              |
-                        Statement_Assertions      |
+  RM_ASSERTION_KIND ::= Assert                    |
+                        Static_Predicate          |
+                        Dynamic_Predicate         |
+                        Pre                       |
+                        Pre'Class                 |
+                        Post                      |
+                        Post'Class                |
+                        Type_Invariant            |
+                        Type_Invariant'Class      |
+                        Default_Initial_Condition
+
+  ID_ASSERTION_KIND ::= Assertions           |
+                        Assert_And_Cut       |
+                        Assume               |
+                        Contract_Cases       |
+                        Debug                |
+                        Ghost                |
+                        Initial_Condition    |
+                        Invariant            |
+                        Invariant'Class      |
+                        Loop_Invariant       |
+                        Loop_Variant         |
+                        Postcondition        |
+                        Precondition         |
+                        Predicate            |
+                        Refined_Post         |
+                        Statement_Assertions |
                         Subprogram_Variant
 
   POLICY_IDENTIFIER ::= Check | Disable | Ignore | Suppressible

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index c51c605a9f263da0301fe4afb07fd7f7c19bc272..b6ea1e451849960a1a7e195b6cdeb985637a7e83 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -1807,33 +1807,33 @@ pragma Assertion_Policy (
 
 ASSERTION_KIND ::= RM_ASSERTION_KIND | ID_ASSERTION_KIND
 
-RM_ASSERTION_KIND ::= Assert               |
-                      Static_Predicate     |
-                      Dynamic_Predicate    |
-                      Pre                  |
-                      Pre'Class            |
-                      Post                 |
-                      Post'Class           |
-                      Type_Invariant       |
-                      Type_Invariant'Class
-
-ID_ASSERTION_KIND ::= Assertions                |
-                      Assert_And_Cut            |
-                      Assume                    |
-                      Contract_Cases            |
-                      Debug                     |
-                      Default_Initial_Condition |
-                      Ghost                     |
-                      Initial_Condition         |
-                      Invariant                 |
-                      Invariant'Class           |
-                      Loop_Invariant            |
-                      Loop_Variant              |
-                      Postcondition             |
-                      Precondition              |
-                      Predicate                 |
-                      Refined_Post              |
-                      Statement_Assertions      |
+RM_ASSERTION_KIND ::= Assert                    |
+                      Static_Predicate          |
+                      Dynamic_Predicate         |
+                      Pre                       |
+                      Pre'Class                 |
+                      Post                      |
+                      Post'Class                |
+                      Type_Invariant            |
+                      Type_Invariant'Class      |
+                      Default_Initial_Condition
+
+ID_ASSERTION_KIND ::= Assertions           |
+                      Assert_And_Cut       |
+                      Assume               |
+                      Contract_Cases       |
+                      Debug                |
+                      Ghost                |
+                      Initial_Condition    |
+                      Invariant            |
+                      Invariant'Class      |
+                      Loop_Invariant       |
+                      Loop_Variant         |
+                      Postcondition        |
+                      Precondition         |
+                      Predicate            |
+                      Refined_Post         |
+                      Statement_Assertions |
                       Subprogram_Variant
 
 POLICY_IDENTIFIER ::= Check | Disable | Ignore | Suppressible