From 62458cc14370cde6cc48f365532eb53f987a75ea Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Mon, 11 Jun 2018 09:18:18 +0000 Subject: [PATCH] [Ada] Add Suppressible argument to Assertion_Policy in documentation 2018-06-11 Yannick Moy gcc/ada/ * doc/gnat_rm/implementation_defined_pragmas.rst: Add Suppressible argument to Assertion_Policy * gnat_rm.texi: Regenerate. From-SVN: r261415 --- gcc/ada/ChangeLog | 6 ++++++ gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 2 +- gcc/ada/gnat_rm.texi | 4 ++-- 3 files changed, 9 insertions(+), 3 deletions(-) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index b9bb4791dac..ae264917914 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,9 @@ +2018-06-11 Yannick Moy + + * doc/gnat_rm/implementation_defined_pragmas.rst: Add Suppressible + argument to Assertion_Policy + * gnat_rm.texi: Regenerate. + 2018-06-11 Yannick Moy * 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 aec0d8448d4..44afec46896 100644 --- 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 7647865ba02..95e63b72e95 100644 --- 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 -- 2.30.2