diff options
| author | Justin Squirek <squirek@adacore.com> | 2022-10-12 11:53:04 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-04 14:47:31 +0100 |
| commit | 5f182787179e2503c01875759d0460d0f2936c8b (patch) | |
| tree | 770f67d1b014f59a2c3fdff96f829ade2ba43a5a /gcc/expr.cc | |
| parent | 4eac8834f9fb703ea04d3d3992a497182f4f86f0 (diff) | |
| download | gcc-5f182787179e2503c01875759d0460d0f2936c8b.zip gcc-5f182787179e2503c01875759d0460d0f2936c8b.tar.gz gcc-5f182787179e2503c01875759d0460d0f2936c8b.tar.bz2 | |
ada: Fix for validity checks combined with aliasing checks
Attribute Overlaps_Storage, which can appear implicitly in expansion of
aliasing checks, is now excluded from operand validity checks. Likewise
for attribute Has_Same_Storage.
gcc/ada/
* exp_attr.adb (Expand_N_Attribute_Reference): Skip operand
validity checks for attributes Has_Same_Storage and
Overlaps_Storage.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions