diff options
| author | Alexandre Oliva <oliva@adacore.com> | 2023-06-28 01:36:51 -0300 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-07-10 14:41:39 +0200 |
| commit | 61736805341e4fabd1c5e0f46b15b459ad98179e (patch) | |
| tree | 14cd7a1f8b132f1dbbb197107f520fe290f9a766 /libgcc | |
| parent | 4a58185d67029f866577a551888cabf2ac71d9b8 (diff) | |
| download | gcc-61736805341e4fabd1c5e0f46b15b459ad98179e.zip gcc-61736805341e4fabd1c5e0f46b15b459ad98179e.tar.gz gcc-61736805341e4fabd1c5e0f46b15b459ad98179e.tar.bz2 | |
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.
Diffstat (limited to 'libgcc')
0 files changed, 0 insertions, 0 deletions