]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c446b0) | patch
ada: Fix documentation of Generalized Finalization extension
authorEric Botcazou <ebotcazou@adacore.com>
Sat, 5 Apr 2025 14:21:45 +0000 (16:21 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 12 Jun 2025 08:37:56 +0000 (10:37 +0200)
commit79635746c5f812afb317760449c852c8e5e6f0a1
treef9bb4196b6f5b3ca45cc45581d82af31b07a543dtree
parent9c446b00d3130853b01bd7ada9b4c54eee13de52commit | 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