]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebfc39d) | patch
ada: Add missing runtime procedure for CHERI
authorRonan Desplanques <desplanques@adacore.com>
Thu, 9 Oct 2025 08:11:43 +0000 (10:11 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 3 Nov 2025 14:15:16 +0000 (15:15 +0100)
commit96ac78a1b9d077cd22401866a62f26086ef6c2c0
tree5bc75fb3a8116783ef2476bc5398567a1f4b81e4tree | snapshot
parentebfc39db7fed86b61f6682cd5b081e1ed7a92b9dcommit | diff
ada: Add missing runtime procedure for CHERI

A recent patch added a procedure in the spec of System.Stream_Attributes
but failed to add the corresponding body in the CHERI-specific body of
this package. This patch fixes this.

gcc/ada/ChangeLog:

* libgnat/s-stratt__cheri.adb (W_80IEEE): New procedure.
gcc/ada/libgnat/s-stratt__cheri.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git