aboutsummaryrefslogtreecommitdiff
path: root/gcc/tree-ssa-phiopt.cc
diff options
context:
space:
mode:
authorDaniel King <dmking@adacore.com>2023-08-23 14:24:54 +0100
committerMarc Poulhiès <poulhies@adacore.com>2023-09-26 13:43:17 +0200
commit8e8e3a00db4e24df9468dde660587d3fb8b5cfee (patch)
tree02a5d39a48f0dd843ad610eca72c8e72d90a2589 /gcc/tree-ssa-phiopt.cc
parent08ba004510a8f110316b2aa4f43c848ea85ee908 (diff)
downloadgcc-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