diff options
| author | Daniel King <dmking@adacore.com> | 2024-09-13 16:15:32 +0100 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-11-04 16:57:56 +0100 |
| commit | 0bebf55d4efcb8b045850d0224d71daa0807b1f9 (patch) | |
| tree | ec72874b105063d78a8e8d3f63f842890513aabf /gcc/dwarf2codeview.cc | |
| parent | 2825944ff0ad6c6d164d7e27a1b0576d4274a508 (diff) | |
| download | gcc-0bebf55d4efcb8b045850d0224d71daa0807b1f9.zip gcc-0bebf55d4efcb8b045850d0224d71daa0807b1f9.tar.gz gcc-0bebf55d4efcb8b045850d0224d71daa0807b1f9.tar.bz2 | |
ada: Build and runtime support for CheriBSD
SIGPROT is a new signal on CheriBSD that signals a CHERI protection violation.
The full runtime converts these to the appropriate Ada exception declared in
Interfaces.CHERI.Exceptions.
gcc/ada/ChangeLog:
* Makefile.rtl: Build support for Morello CheriBSD.
* libgnarl/s-intman__cheribsd.adb: New file for CheriBSD.
* libgnarl/s-osinte__cheribsd.ads: New file for CheriBSD.
Diffstat (limited to 'gcc/dwarf2codeview.cc')
0 files changed, 0 insertions, 0 deletions