]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09203b7) | patch
ada: hardened booleans: exemplify codegen changes
authorAlexandre Oliva <oliva@adacore.com>
Thu, 8 Sep 2022 03:15:19 +0000 (00:15 -0300)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 6 Oct 2022 09:22:49 +0000 (11:22 +0200)
commit21130676a8032b53dad05d224a78244a419e4929
treec67bda32d5660d5290bf1ed89212185f14b5ce13tree
parent09203b787a9a64bd57ee83d1be1495975a384ec6commit | diff
ada: hardened booleans: exemplify codegen changes

Show the sort of code that is to be expected from using hardened
booleans in Ada code.  Mention that C traps instead of raising
exceptions.

gcc/ada/

* doc/gnat_rm/security_hardening_features.rst: Add examples of
codegen changes in hardened booleans. Mention that C traps where
Ada raises exceptions.
* gnat_rm.texi: Regenerate.
gcc/ada/doc/gnat_rm/security_hardening_features.rst diff | blob | blame | history
gcc/ada/gnat_rm.texi diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git