From 79b149b19d9079f67dfb2c5d7b99aa103f108e19 Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Tue, 3 Nov 2020 19:43:07 +0100 Subject: [PATCH] [Ada] Sync doc and code for pragma Assertion_Policy gcc/ada/ * doc/gnat_rm/implementation_defined_pragmas.rst (Assertion_Policy): Add "Default_Initial_Condition", "Initial_Condition" and "Subprogram_Variant". * gnat_rm.texi: Regenerate. --- .../implementation_defined_pragmas.rst | 33 +++++++++-------- gcc/ada/gnat_rm.texi | 35 ++++++++++--------- 2 files changed, 37 insertions(+), 31 deletions(-) diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index ddf60ec3dba..2fad1d656a0 100644 --- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst +++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst @@ -444,21 +444,24 @@ Syntax:: Type_Invariant | Type_Invariant'Class - ID_ASSERTION_KIND ::= Assertions | - Assert_And_Cut | - Assume | - Contract_Cases | - Debug | - Ghost | - Invariant | - Invariant'Class | - Loop_Invariant | - Loop_Variant | - Postcondition | - Precondition | - Predicate | - Refined_Post | - Statement_Assertions + 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 | + Subprogram_Variant POLICY_IDENTIFIER ::= Check | Disable | Ignore | Suppressible diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi index 66665206c4c..c51c605a9f2 100644 --- a/gcc/ada/gnat_rm.texi +++ b/gcc/ada/gnat_rm.texi @@ -21,7 +21,7 @@ @copying @quotation -GNAT Reference Manual , Nov 19, 2020 +GNAT Reference Manual , Nov 20, 2020 AdaCore @@ -1817,21 +1817,24 @@ RM_ASSERTION_KIND ::= Assert | Type_Invariant | Type_Invariant'Class -ID_ASSERTION_KIND ::= Assertions | - Assert_And_Cut | - Assume | - Contract_Cases | - Debug | - Ghost | - Invariant | - Invariant'Class | - Loop_Invariant | - Loop_Variant | - Postcondition | - Precondition | - Predicate | - Refined_Post | - Statement_Assertions +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 | + Subprogram_Variant POLICY_IDENTIFIER ::= Check | Disable | Ignore | Suppressible @end example -- 2.30.2