Implied compares in Ada Harded Conditionals documentation
authorAlexandre Oliva <oliva@adacore.com>
Sat, 30 Oct 2021 09:36:05 +0000 (06:36 -0300)
committerAlexandre Oliva <oliva@gnu.org>
Sat, 30 Oct 2021 09:36:05 +0000 (06:36 -0300)
commit70c947e4dfaa6d63b5efc0d8cd990726a9b6d8ba
tree6bc5f0540c374e7ce1d0ad193a4db7677552a31b
parent6f449bb93b33d63fa8a1b8d021d8d36f27ffe054
Implied compares in Ada Harded Conditionals documentation

Improve the wording on optimizations that prevent compare hardening,
so as to also cover cases in which explicit compares get combined into
operations with implied compares.

for  gcc/ada/ChangeLog

* doc/gnat_rm/security_hardening_features.rst: Mention
optimization to operations with implied compares.
gcc/ada/doc/gnat_rm/security_hardening_features.rst