[Ada] Add Suppressible argument to Assertion_Policy in documentation

2018-06-11  Yannick Moy  <moy@adacore.com>

gcc/ada/

	* doc/gnat_rm/implementation_defined_pragmas.rst: Add Suppressible
	argument to Assertion_Policy
	* gnat_rm.texi: Regenerate.

From-SVN: r261415

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index b9bb4791dacf74e76ec9fb519b32e04d271d8ee1..ae2649179149791b0e929337fea00bd7997c0acf 100644 (file)
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2018-06-11  Yannick Moy  <moy@adacore.com>
+
+       * doc/gnat_rm/implementation_defined_pragmas.rst: Add Suppressible
+       argument to Assertion_Policy
+       * gnat_rm.texi: Regenerate.
+
 2018-06-11  Yannick Moy  <moy@adacore.com>
 
        * gnat1drv.adb: Do not check representation information in CodePeer and

diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
index aec0d8448d4f6183c4aabd6a1d96336ba893742b..44afec46896ae19ff760f61d267dcba0fee25f89 100644 (file)
--- a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst
@@ -396,7 +396,7 @@ Pragma Assertion_Policy
 
 Syntax::
 
-  pragma Assertion_Policy (CHECK | DISABLE | IGNORE);
+  pragma Assertion_Policy (CHECK | DISABLE | IGNORE | SUPPRESSIBLE);
 
   pragma Assertion_Policy (
       ASSERTION_KIND => POLICY_IDENTIFIER

diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 7647865ba02fc8f208558282a716c9ad93e2d45f..95e63b72e95161820ead946e983a3c11c4fbb511 100644 (file)
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -21,7 +21,7 @@
 
 @copying
 @quotation
-GNAT Reference Manual , May 22, 2018
+GNAT Reference Manual , Jun 06, 2018
 
 AdaCore
 
@@ -1761,7 +1761,7 @@ documentation.
 Syntax:
 
 @example
-pragma Assertion_Policy (CHECK | DISABLE | IGNORE);
+pragma Assertion_Policy (CHECK | DISABLE | IGNORE | SUPPRESSIBLE);
 
 pragma Assertion_Policy (
     ASSERTION_KIND => POLICY_IDENTIFIER