diff options
| author | Gary Dismukes <dismukes@adacore.com> | 2022-11-18 17:43:36 -0500 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-12-01 14:53:53 +0100 |
| commit | 8e56d311d380cbdc37a910fa96c06c6eb91973d7 (patch) | |
| tree | 0e1e5fd8d2b389439cf3ab005a6a41014dc91a56 /gcc/ada/doc/gnat_ugn | |
| parent | eeba836bf3dc26ea858020bc19e2c1a1606b75dd (diff) | |
| download | gcc-8e56d311d380cbdc37a910fa96c06c6eb91973d7.zip gcc-8e56d311d380cbdc37a910fa96c06c6eb91973d7.tar.gz gcc-8e56d311d380cbdc37a910fa96c06c6eb91973d7.tar.bz2 | |
ada: Use the address type of a Storage_Model_Type for 'Address
When an Address attribute applies to an object that is a dereference of
an access value whose type has aspect Designated_Storage_Model, the
attribute will now be treated as having the address type associated
with the Storage_Model_Type of the access type's associated Storage_Model
object instead of being of type System.Address.
gcc/ada/
* sem_attr.adb (Analyze_Attribute, Attribute_Address): In the case
where the attribute's prefix is a dereference of a value of an
access type that has aspect Designated_Storage_Model (or a
renaming of such a dereference), set the attribute's type to the
corresponding Storage_Model_Type's associated address type rather
than System.Address.
Diffstat (limited to 'gcc/ada/doc/gnat_ugn')
0 files changed, 0 insertions, 0 deletions