]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18e881e) | patch
ada: Add documentation for Exceptional_Cases
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 23 Jan 2024 15:42:30 +0000 (16:42 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 15 Apr 2024 14:10:20 +0000 (16:10 +0200)
commitab5bb2bc3fbca3446d989748f04d0b32717e66d7
tree679b41d9f42ee9463291edbe5b73861cb523835atree
parent18e881ebd9f4b9429c652a81b8ceee84275bdadecommit | diff
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.
gcc/ada/doc/gnat_rm/implementation_defined_aspects.rst diff | blob | blame | history
gcc/ada/doc/gnat_rm/implementation_defined_pragmas.rst diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
gcc/ada/gnat_ugn.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git