]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 484795c) | patch
ada: Fix couple of remaining incompatibilities with CHERI architecture
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 16 Jan 2025 14:51:00 +0000 (15:51 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 5 Jun 2025 08:18:34 +0000 (10:18 +0200)
commit9a6162488992afca390e01d4c1ba9264fd10eab8
tree6a0d0ea18e04925cd79f87ed6f2bc9cecd9527c0tree
parent484795c24b2f4629db8b91e37656c0e6bd514156commit | diff
ada: Fix couple of remaining incompatibilities with CHERI architecture

These are the usual problematic patterns in the expanded code.

gcc/ada/ChangeLog:

* exp_ch9.adb (Build_Dispatching_Requeue): Take 'Tag of the
concurrent object instead of doing an unchecked conversion.
* exp_pakd.adb (Expand_Packed_Address_Reference): Perform address
arithmetic using an operator of System.Storage_Elements.
gcc/ada/exp_ch9.adb diff | blob | blame | history
gcc/ada/exp_pakd.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git