diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-05-16 22:13:38 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-20 10:50:54 +0200 |
| commit | 7e057326a901155bccc0ae559191220144a4f6b9 (patch) | |
| tree | cac6ff3315fe57e0362c1532147afbc90c8a46b9 /gcc/ada/inline.adb | |
| parent | 4f6ee98c27cf0219779a2ccd6ef5d0e67b75580f (diff) | |
| download | gcc-7e057326a901155bccc0ae559191220144a4f6b9.zip gcc-7e057326a901155bccc0ae559191220144a4f6b9.tar.gz gcc-7e057326a901155bccc0ae559191220144a4f6b9.tar.bz2 | |
ada: Add documentation for Subprogram_Variant aspect and pragma
For completeness, the GNAT Reference Manual should document aspects and
pragmas that are specific to SPARK and described in the SPARK User's
Guide.
gcc/ada/
* doc/gnat_rm/implementation_defined_aspects.rst
(Aspect Subprogram_Variant): Refer to SPARK User's Guide.
* doc/gnat_rm/implementation_defined_pragmas.rst
(Pragma Subprogram_Variant): Document syntax to satisfy the
convention; refer to SPARK User's Guide for semantics.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/ada/inline.adb')
0 files changed, 0 insertions, 0 deletions