Use of attribute ‘Overlaps_Storage in all Ada modes
Attribute 'Overlaps_Storage can now be used in all Ada modes. The attribute detects whether two objects share some or all of their storage.