ada: hardcfr: mark throw-expected functions
commit61736805341e4fabd1c5e0f46b15b459ad98179e
authorAlexandre Oliva <oliva@adacore.com>
Wed, 28 Jun 2023 04:36:51 +0000 (28 01:36 -0300)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 10 Jul 2023 12:41:39 +0000 (10 14:41 +0200)
tree14cd7a1f8b132f1dbbb197107f520fe290f9a766
parent4a58185d67029f866577a551888cabf2ac71d9b8
ada: hardcfr: mark throw-expected functions

Adjust documentation to reflect the introduction of
-fhardcfr-check-noreturn-calls=no-xthrow.

gcc/ada/

* doc/gnat_rm/security_hardening_features.rst (Control Flow
Redundancy): Add -fhardcfr-check-noreturn-calls=no-xthrow.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/security_hardening_features.rst
gcc/ada/gnat_rm.texi