From: Javier Miranda <miranda@adacore.com>
Date: Mon, 10 Feb 2020 22:12:32 +0000 (-0500)
Subject: [Ada] Better code generation for nested aggregates
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=176de683776a26f97ba8fa4189ce953886753c18;p=gcc.git

[Ada] Better code generation for nested aggregates

2020-06-08  Javier Miranda  <miranda@adacore.com>

gcc/ada/

	* exp_aggr.adb (Safe_Component): Remove code that considers as
	unsafe components that are aggregates; such removal allows the
	frontend to proceed and evaluate if they are safe by means of
	invoking Safe_Aggregate.
---

diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index 26765e9f438..aad902269db 100644
--- a/gcc/ada/exp_aggr.adb
+++ b/gcc/ada/exp_aggr.adb
@@ -4283,11 +4283,6 @@ package body Exp_Aggr is
             if Is_Overloaded (Expr) then
                return False;
 
-            elsif Nkind (Expr) = N_Aggregate
-               and then not Is_Others_Aggregate (Expr)
-            then
-               return False;
-
             elsif Nkind (Expr) = N_Allocator then
 
                --  For now, too complex to analyze