diff options
author | Javier Miranda <miranda@adacore.com> | 2020-02-10 17:12:32 -0500 |
---|---|---|
committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-08 03:50:58 -0400 |
commit | 176de683776a26f97ba8fa4189ce953886753c18 (patch) | |
tree | 5157176ea19ade6537a66a8cf4f09329205e9f78 | |
parent | c382d0712fba76b6fce4a9aadc5a4487fad7efaf (diff) | |
download | gcc-176de683776a26f97ba8fa4189ce953886753c18.zip gcc-176de683776a26f97ba8fa4189ce953886753c18.tar.gz gcc-176de683776a26f97ba8fa4189ce953886753c18.tar.bz2 |
[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.
-rw-r--r-- | gcc/ada/exp_aggr.adb | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb index 26765e9..aad9022 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 |