projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4eac883) | patch
ada: Fix for validity checks combined with aliasing checks
authorJustin Squirek <squirek@adacore.com>
Wed, 12 Oct 2022 09:53:04 +0000 (11:53 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 4 Nov 2022 13:47:31 +0000 (14:47 +0100)
commit5f182787179e2503c01875759d0460d0f2936c8b
tree770f67d1b014f59a2c3fdff96f829ade2ba43a5atree | snapshot
parent4eac8834f9fb703ea04d3d3992a497182f4f86f0commit | diff
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.
gcc/ada/exp_attr.adb diff | blob | history
Domain: System / Toolchain;