diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-01-23 16:42:30 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-04-15 16:10:20 +0200 |
| commit | ab5bb2bc3fbca3446d989748f04d0b32717e66d7 (patch) | |
| tree | 679b41d9f42ee9463291edbe5b73861cb523835a /libgcc | |
| parent | 18e881ebd9f4b9429c652a81b8ceee84275bdade (diff) | |
| download | gcc-ab5bb2bc3fbca3446d989748f04d0b32717e66d7.zip gcc-ab5bb2bc3fbca3446d989748f04d0b32717e66d7.tar.gz gcc-ab5bb2bc3fbca3446d989748f04d0b32717e66d7.tar.bz2 | |
ada: Add documentation for Exceptional_Cases
Add minimal description for pragma and aspect Exceptional_Cases, based
on a similarly minimal descriptions for other SPARK contracts.
gcc/ada/
* doc/gnat_rm/implementation_defined_aspects.rst
(Exceptional_Cases): Add description for aspect.
* doc/gnat_rm/implementation_defined_pragmas.rst
(Exceptional_Cases): Add description for pragma.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions