]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix bindings for CHERI Set_Bounds and Set_Exact_Bounds intrinsics.
authorDaniel King <dmking@adacore.com>
Thu, 27 Feb 2025 14:11:16 +0000 (14:11 +0000)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 9 Jun 2025 06:32:02 +0000 (08:32 +0200)
commit9f106c7dfafb89c17f65d2128d738cf7d9962307
treeb1689bcdce6550b5d21569dd3da6f839eb5970e3
parent7c9069750405d147670ad9143d19505a5dea8240
ada: Fix bindings for CHERI Set_Bounds and Set_Exact_Bounds intrinsics.

gcc/ada/ChangeLog:

* libgnat/i-cheri.ads
(Set_Bounds, Set_Exact_Bounds): Remove wrong intrinsic binding.
* libgnat/i-cheri.adb
(Set_Bounds, Set_Exact_Bounds): New subprogram bodies.
gcc/ada/libgnat/i-cheri.adb
gcc/ada/libgnat/i-cheri.ads