From: Piotr Trojanek <trojanek@adacore.com>
Date: Thu, 14 Oct 2021 21:24:54 +0000 (+0200)
Subject: ada: Allow initialization of limited objects with delta aggregates
X-Git-Tag: basepoints/gcc-14~3428
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=2ff87e21c2053fe3a48ced3e2cc9ab1b900aceaa;p=thirdparty%2Fgcc.git

ada: Allow initialization of limited objects with delta aggregates

Objects of a limited type can be initialized with "aggregates", which is
a collective term for ordinary aggregates (i.e. record aggregates and
array aggregates), extension aggregates and finally for delta
aggregates (introduced by Ada 2022).

gcc/ada/

	* sem_ch3.adb (OK_For_Limited_Init_In_05): Handle delta aggregates
	just like other aggregates.
---

diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index 76dc63250607..f6b852051dcd 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -20145,6 +20145,7 @@ package body Sem_Ch3 is
 
       case Nkind (Original_Node (Exp)) is
          when N_Aggregate
+            | N_Delta_Aggregate
             | N_Extension_Aggregate
             | N_Function_Call
             | N_Op