diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-12-04 13:45:24 +0100 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-01-03 16:39:12 +0100 |
| commit | cca7647392727038c86a9eb785cbd673896afa57 (patch) | |
| tree | 2d58d6eea7b89849929f923965d973f8cae57722 | |
| parent | 34ace6d7b63d04d26fe7b190764ede70aaa75f32 (diff) | |
| download | gcc-cca7647392727038c86a9eb785cbd673896afa57.zip gcc-cca7647392727038c86a9eb785cbd673896afa57.tar.gz gcc-cca7647392727038c86a9eb785cbd673896afa57.tar.bz2 | |
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.
| -rw-r--r-- | gcc/ada/sem_ch3.adb | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb index eb53d59..7bedc04 100644 --- a/gcc/ada/sem_ch3.adb +++ b/gcc/ada/sem_ch3.adb @@ -6612,12 +6612,6 @@ package body Sem_Ch3 is N => Access_Definition (Component_Def)); Set_Is_Local_Anonymous_Access (Element_Type); - -- Propagate the parent. This field is needed if we have to generate - -- the master_id associated with an anonymous access to task type - -- component (see Expand_N_Full_Type_Declaration.Build_Master) - - Copy_Parent (To => Element_Type, From => T); - -- Ada 2005 (AI-230): In case of components that are anonymous access -- types the level of accessibility depends on the enclosing type -- declaration |