]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Remove workaround for a freezing issue with address of a slice
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 14 Oct 2025 14:15:46 +0000 (16:15 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 3 Nov 2025 14:15:17 +0000 (15:15 +0100)
commitfbdaed53ea4a215325d4a6d33cdcf49e3df39a52
tree42e12a3c0f46cecd5f755057bd9268ea1f874552
parent43ce88299a47e13927219947e449fd75d649f3fd
ada: Remove workaround for a freezing issue with address of a slice

Rewriting of an address of a slice, e.g. "X (Low .. High)'Address" into an
address of an indexed component, e.g. "X (Low)'Address", was only done as a
workaround for some freezing issue. Apparently this freezing issue is now
solved and the rewriting is causing problems for GNATprove. (This rewriting,
if needed, should be rather done in expansion and not resolution.)

gcc/ada/ChangeLog:

* sem_attr.adb (Resolve_Attribute): Remove rewriting of a slice
address expression.
gcc/ada/sem_attr.adb