ada: Missing initialization of aggregate components

When a tagged type conversion is applied to a qualified expression
of an aggregate, at runtime some components are left uninitialized.

gcc/ada/ChangeLog:

	* exp_ch4.adb (Expand_N_Type_Conversion): When the operand is a
	qualified expression of an aggregate, force its evaluation by
	capturing its value in a constant (to ensure full initialization
	of the tagged object).

diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
index 476508b7449d6e8e072f94f7d99c3b37356eeb73..490ecf8f8340e9818a631f382e920e22c1b92e89 100644 (file)
--- a/gcc/ada/exp_ch4.adb
+++ b/gcc/ada/exp_ch4.adb
@@ -12543,6 +12543,17 @@ package body Exp_Ch4 is
          --  Start of processing for Tagged_Conversion
 
          begin
+            --  When the operand is a qualified expression of an aggregate,
+            --  force its evaluation by capturing its value in a constant
+            --  (to ensure full initialization of the tagged object).
+
+            if Nkind (Operand) = N_Qualified_Expression
+              and then Nkind (Expression (Operand)) in N_Aggregate
+                                                     | N_Extension_Aggregate
+            then
+               Force_Evaluation (Operand, Mode => Strict);
+            end if;
+
             --  Handle entities from the limited view
 
             if Is_Access_Type (Operand_Type) then