]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f31bd00) | patch
ada: Export CHERI exception IDs
authorDaniel King <dmking@adacore.com>
Fri, 1 Nov 2024 21:27:00 +0000 (21:27 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 12 Dec 2024 09:57:53 +0000 (10:57 +0100)
commit9d69cdb1202f307796f6e34a827b02c1d048e213
treeb9d99b0e2bf488e1ff3d52f2a9a0760cbbc31120tree
parentf31bd00088a737c78d10f359b946d3950de29de0commit | diff
ada: Export CHERI exception IDs

This allows CHERI exceptions to be raised from C code in the runtime.

gcc/ada/ChangeLog:

* libgnat/i-cheri-exceptions.ads: Export CHERI exception IDs.
gcc/ada/libgnat/i-cheri-exceptions.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git