projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e9238f) | patch
[Ada] Sync doc and code for pragma Assertion_Policy
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 3 Nov 2020 18:43:07 +0000 (19:43 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 27 Nov 2020 09:15:54 +0000 (04:15 -0500)
commit79b149b19d9079f67dfb2c5d7b99aa103f108e19
tree8dda33aa0ee60e260acbb3a59ab4d372ee561e09tree | snapshot
parent3e9238fa6435af6361fdb807525de75e1b306263commit | diff
[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.
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst diff | blob | history
gcc/ada/gnat_rm.texi diff | blob | history
Domain: System / Toolchain;