| commit | 08ba004510a8f110316b2aa4f43c848ea85ee908 | |
| author | Daniel King <dmking@adacore.com> | |
| Tue, 12 Sep 2023 09:25:28 +0000 (12 10:25 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 26 Sep 2023 11:43:17 +0000 (26 13:43 +0200) | ||
| tree | a7ccb1d73d1e7d4066915d3e3ae42585445095fa | treesnapshot (tar.gz zip) |
| parent | 4a91264af429ed84f0e06d6766a316ef29420521 | commitdiff |
ada: Define CHERI exception types
These exception types map to the CHERI hardware exceptions that are
triggered due to misuse of capabilities.
gcc/ada/
* libgnat/i-cheri.ads (Capability_Bound_Error)
(Capability_Permission_Error, Capability_Sealed_Error)
(Capability_Tag_Error): New, define CHERI exception types.
These exception types map to the CHERI hardware exceptions that are
triggered due to misuse of capabilities.
gcc/ada/
* libgnat/i-cheri.ads (Capability_Bound_Error)
(Capability_Permission_Error, Capability_Sealed_Error)
(Capability_Tag_Error): New, define CHERI exception types.
| gcc/ada/libgnat/i-cheri.ads | diffblobblamehistory |