| commit | b9b1dcc841436964d344befe38ef66c5ee68913d | |
| author | Daniel King <dmking@adacore.com> | |
| Tue, 9 May 2023 15:40:46 +0000 (9 16:40 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 20 Jun 2023 07:30:49 +0000 (20 09:30 +0200) | ||
| tree | 350957ec4ebb5d5f6c37dc256dbfedcef243d7c6 | treesnapshot (tar.gz zip) |
| parent | ccacd752a4a58f34b768122a1e463e8ca5f2728e | commitdiff |
ada: Add CHERI intrinsic bindings and helper functions.
The package Interfaces.CHERI provides intrinsic bindings and
helper functions to allow software to query, create, and
manipulate CHERI capabilities.
gcc/ada/
* libgnat/i-cheri.ads: Add CHERI intrinsics and helper functions.
* libgnat/i-cheri.adb: Likewise
The package Interfaces.CHERI provides intrinsic bindings and
helper functions to allow software to query, create, and
manipulate CHERI capabilities.
gcc/ada/
* libgnat/i-cheri.ads: Add CHERI intrinsics and helper functions.
* libgnat/i-cheri.adb: Likewise
| gcc/ada/libgnat/i-cheri.adb | [new file with mode: 0644] | blob |
| gcc/ada/libgnat/i-cheri.ads | [new file with mode: 0644] | blob |