diff options
| author | Daniel King <dmking@adacore.com> | 2023-09-12 10:25:28 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-09-26 13:43:17 +0200 |
| commit | 08ba004510a8f110316b2aa4f43c848ea85ee908 (patch) | |
| tree | a7ccb1d73d1e7d4066915d3e3ae42585445095fa /zlib | |
| parent | 4a91264af429ed84f0e06d6766a316ef29420521 (diff) | |
| download | gcc-08ba004510a8f110316b2aa4f43c848ea85ee908.zip gcc-08ba004510a8f110316b2aa4f43c848ea85ee908.tar.gz gcc-08ba004510a8f110316b2aa4f43c848ea85ee908.tar.bz2 | |
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.
Diffstat (limited to 'zlib')
0 files changed, 0 insertions, 0 deletions