From: Javier Miranda <miranda@adacore.com>
Date: Mon, 3 Apr 2023 17:15:47 +0000 (+0000)
Subject: ada: Crash on aggregate for tagged record with discriminants
X-Git-Tag: basepoints/gcc-15~8810
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=265c571daa41fdf4d21e06c55703f65ec9aad8c4;p=thirdparty%2Fgcc.git

ada: Crash on aggregate for tagged record with discriminants

The frontend may crash processing an aggregate initializing
a derived tagged record type that has discriminants.

gcc/ada/

	* sem_aggr.adb
	(Resolve_Record_Aggregate): For aggregates of derived tagged
	record types with discriminants, when collecting components
	from ancestors, pass to subprogram Gather_Components the
	parent type. Required to report errors on wrong aggregate
	components.
---

diff --git a/gcc/ada/sem_aggr.adb b/gcc/ada/sem_aggr.adb
index fd0779e66d7d..edd495b83592 100644
--- a/gcc/ada/sem_aggr.adb
+++ b/gcc/ada/sem_aggr.adb
@@ -5632,7 +5632,7 @@ package body Sem_Aggr is
                end if;
 
                Record_Def := Type_Definition (Parent (Base_Type (Parent_Typ)));
-               Gather_Components (Empty,
+               Gather_Components (Parent_Typ,
                  Component_List (Record_Extension_Part (Record_Def)),
                  Governed_By   => New_Assoc_List,
                  Into          => Components,