diff options
| author | Alexandre Oliva <oliva@adacore.com> | 2022-02-03 23:00:09 -0300 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-12 12:38:35 +0000 |
| commit | d4fc83c642213b4362533ef548c8fffe208ea59a (patch) | |
| tree | 5e088ee898189fd9f50fcea7a9245296b26efe46 /gcc/ada/fe.h | |
| parent | bb1c939d9b800ef9aadf8a82cbafdfae5c88210c (diff) | |
| download | gcc-d4fc83c642213b4362533ef548c8fffe208ea59a.zip gcc-d4fc83c642213b4362533ef548c8fffe208ea59a.tar.gz gcc-d4fc83c642213b4362533ef548c8fffe208ea59a.tar.bz2 | |
[Ada] Introduce hardbool Machine_Attribute for Ada
Implement and document hardened booleans, from nonstandard boolean types
with representation clauses to the extra validity checking performed on
boolean types annotated with the "hardbool" Machine_Attribute pragma.
gcc/ada/
* doc/gnat_rm/security_hardening_features.rst (Hardened
Booleans): New.
* exp_util.adb (Adjust_Condition): Perform validity checking on
hardbool-annotated types even with -gnatVT.
* gnat_rm.texi: Regenerate.
* gcc-interface/utils.cc (gnat_internal_attribute_table): Ignore
hardbool.
Diffstat (limited to 'gcc/ada/fe.h')
0 files changed, 0 insertions, 0 deletions