]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a4d64e) | patch
ada: Fix documentation of Generalized Finalization extension
authorEric Botcazou <ebotcazou@adacore.com>
Sat, 5 Apr 2025 14:21:45 +0000 (16:21 +0200)
committerEric Botcazou <ebotcazou@adacore.com>
Thu, 12 Jun 2025 11:52:41 +0000 (13:52 +0200)
commit36bc863200b86a311cf7d9a027b0597280dfebf0
tree5d195f4b958efdd98207828297dded65f835bf3dtree
parent3a4d64e1a81da321ecfda326fa541f3ea9bd6c5bcommit | diff
ada: Fix documentation of Generalized Finalization extension

The current documentation does not reflect the implementation present in
the compiler and contains various other inaccuracies.

gcc/ada/ChangeLog:

* doc/gnat_rm/gnat_language_extensions.rst
(Generalized Finalization): Document the actual implementation.
(No_Raise): Move to separate section.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/gnat_language_extensions.rst diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git