From: Steve Baird <baird@adacore.com>
Date: Tue, 16 Apr 2024 22:45:45 +0000 (-0700)
Subject: ada: For freezing, treat an extension or delta aggregate like a regular aggregate.
X-Git-Tag: basepoints/gcc-16~8398
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f32d2d14452a9d7ca704f866a86da43865c966bd;p=thirdparty%2Fgcc.git

ada: For freezing, treat an extension or delta aggregate like a regular aggregate.

Extend existing special freezing rules for regular aggregates to also apply to
extension and delta aggregates.

gcc/ada/

	* freeze.adb
	(Should_Freeze_Type.Is_Dispatching_Call_Or_Aggregate): Treat an extension
	aggregate or a delta aggregate like a regular aggregate.
---

diff --git a/gcc/ada/freeze.adb b/gcc/ada/freeze.adb
index ea18f87a4ab..c872050dd35 100644
--- a/gcc/ada/freeze.adb
+++ b/gcc/ada/freeze.adb
@@ -222,7 +222,9 @@ package body Freeze is
                       = Scope (Typ)
          then
             return Abandon;
-         elsif Nkind (N) = N_Aggregate
+         elsif Nkind (N) in N_Aggregate
+                          | N_Extension_Aggregate
+                          | N_Delta_Aggregate
            and then Base_Type (Etype (N)) = Base_Type (Typ)
          then
             return Abandon;