aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/ada/ChangeLog5
-rw-r--r--gcc/ada/exp_aggr.adb3
2 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 789dc5d..4de9db7 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2019-07-04 Arnaud Charlet <charlet@adacore.com>
+
+ * exp_aggr.adb (Check_Component): Take into account type
+ conversions.
+
2019-07-04 Dmitriy Anisimkov <anisimko@adacore.com>
* doc/gnat_ugn/platform_specific_information.rst: Document
diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index b5bd222..80523e9 100644
--- a/gcc/ada/exp_aggr.adb
+++ b/gcc/ada/exp_aggr.adb
@@ -5549,7 +5549,8 @@ package body Exp_Aggr is
or else (Nkind (Comp) = N_Selected_Component
and then Check_Component (Prefix (Comp)))
- or else (Nkind (Comp) = N_Unchecked_Type_Conversion
+ or else (Nkind_In (Comp, N_Unchecked_Type_Conversion,
+ N_Type_Conversion)
and then Check_Component (Expression (Comp)));
end Check_Component;