diff options
| author | Yannick Moy <moy@adacore.com> | 2018-06-11 09:18:18 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-06-11 09:18:18 +0000 |
| commit | 62458cc14370cde6cc48f365532eb53f987a75ea (patch) | |
| tree | bfdfaa8bb14307f1063a05f448cb7b1f79f6f938 /gcc | |
| parent | a19711197eb4c7d72f493e808534faa490e94712 (diff) | |
| download | gcc-62458cc14370cde6cc48f365532eb53f987a75ea.zip gcc-62458cc14370cde6cc48f365532eb53f987a75ea.tar.gz gcc-62458cc14370cde6cc48f365532eb53f987a75ea.tar.bz2 | |
[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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst | 2 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 4 |
3 files changed, 9 insertions, 3 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index b9bb479..ae26491 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,5 +1,11 @@ 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 GNATprove modes, as these modes call a special backend instead of gigi, so do not have the information. diff --git a/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst b/gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst index aec0d84..44afec4 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 7647865..95e63b7 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 |