]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2825944) | patch
ada: Build and runtime support for CheriBSD
authorDaniel King <dmking@adacore.com>
Fri, 13 Sep 2024 15:15:32 +0000 (16:15 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 4 Nov 2024 15:57:56 +0000 (16:57 +0100)
commit0bebf55d4efcb8b045850d0224d71daa0807b1f9
treeec72874b105063d78a8e8d3f63f842890513aabftree | snapshot
parent2825944ff0ad6c6d164d7e27a1b0576d4274a508commit | diff
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.
gcc/ada/Makefile.rtl diff | blob | blame | history
gcc/ada/libgnarl/s-intman__cheribsd.adb [new file with mode: 0644] blob
gcc/ada/libgnarl/s-osinte__cheribsd.ads [new file with mode: 0644] blob
Mirror of https://gcc.gnu.org/git/gcc.git