diff options
author | Daniel King <dmking@adacore.com> | 2023-08-23 14:24:54 +0100 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-09-26 13:43:17 +0200 |
commit | 8e8e3a00db4e24df9468dde660587d3fb8b5cfee (patch) | |
tree | 02a5d39a48f0dd843ad610eca72c8e72d90a2589 /gcc/tree-ssa-phiopt.cc | |
parent | 08ba004510a8f110316b2aa4f43c848ea85ee908 (diff) | |
download | gcc-8e8e3a00db4e24df9468dde660587d3fb8b5cfee.zip gcc-8e8e3a00db4e24df9468dde660587d3fb8b5cfee.tar.gz gcc-8e8e3a00db4e24df9468dde660587d3fb8b5cfee.tar.bz2 |
ada: Add CHERI variant of System.Stream_Attributes
Reading and writing System.Address to a stream on CHERI targets does
not preserve the capability tag; it will always be invalid since
a valid capability cannot be created out of thin air. Reading an Address
from a stream would therefore never yield a capability that can be
dereferenced.
This patch introduces a CHERI variant of System.Stream_Attributes that
raises Program_Error when attempting to read a System.Address from a stream.
gcc/ada/
* libgnat/s-stratt__cheri.adb: New file
Diffstat (limited to 'gcc/tree-ssa-phiopt.cc')
0 files changed, 0 insertions, 0 deletions