]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Leave empty parent in an array component of an anonymous access type
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 4 Dec 2024 12:45:24 +0000 (13:45 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 3 Jan 2025 15:39:12 +0000 (16:39 +0100)
commitcca7647392727038c86a9eb785cbd673896afa57
tree2d58d6eea7b89849929f923965d973f8cae57722
parent34ace6d7b63d04d26fe7b190764ede70aaa75f32
ada: Leave empty parent in an array component of an anonymous access type

An itype created for a record component with an anonymous access type has empty
parent. However, a similar itype created for an array component has its parent
copied from the parent of the array type.

The above discrepancy appears to be not needed for the frontend. Also, it is
confusing for the GNATprove backend, because it looks like the itype entity
of the array component comes from a declaration of the array itself.

gcc/ada/ChangeLog:

* sem_ch3.adb (Array_Type_Declaration): Don't copy parent for an itype
created by an array component declaration.
gcc/ada/sem_ch3.adb