From a25ad01cfbfa6efad44bc5500cc3ce39f1fffd22 Mon Sep 17 00:00:00 2001 From: Thomas Quinot Date: Mon, 2 May 2016 09:29:09 +0000 Subject: [PATCH] freeze.adb (Check_Component_Storage_Order): Get full view of component type. 2016-05-02 Thomas Quinot * freeze.adb (Check_Component_Storage_Order): Get full view of component type. From-SVN: r235716 --- gcc/ada/ChangeLog | 5 +++++ gcc/ada/freeze.adb | 7 +++++++ 2 files changed, 12 insertions(+) diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index f867b8271cb..c4fa0ae19af 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,8 @@ +2016-05-02 Thomas Quinot + + * freeze.adb (Check_Component_Storage_Order): Get full view of + component type. + 2016-05-02 Hristian Kirtchev * checks.adb, freeze.adb, sem_res.adb, s-stposu.adb, repinfo.adb: diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb index bbb07af9d34..1fce9477818 100644 --- a/gcc/ada/freeze.adb +++ b/gcc/ada/freeze.adb @@ -1242,6 +1242,13 @@ package body Freeze is -- the attribute definition clause is attached to the first subtype. Comp_Type := Base_Type (Comp_Type); + + -- If the base type is incomplete or private, go to full view if known + + if Present (Underlying_Type (Comp_Type)) then + Comp_Type := Underlying_Type (Comp_Type); + end if; + Comp_ADC := Get_Attribute_Definition_Clause (First_Subtype (Comp_Type), Attribute_Scalar_Storage_Order); -- 2.30.2