From: Eric Botcazou <ebotcazou@adacore.com>
Date: Tue, 22 Apr 2025 11:51:14 +0000 (+0200)
Subject: ada: Fix fallout of latest change to aggregate expansion
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eeb25a33f5b47d932b14e365b033c3122d80c7c4;p=thirdparty%2Fgcc.git

ada: Fix fallout of latest change to aggregate expansion

It exposed a small loophole in the Backend_Processing_Possible predicate.

gcc/ada/ChangeLog:

	* exp_aggr.adb (Backend_Processing_Possible.Component_Check): Return
	False for delayed conditional expressions.
---

diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb
index 48478f350bb..a25d28d2edd 100644
--- a/gcc/ada/exp_aggr.adb
+++ b/gcc/ada/exp_aggr.adb
@@ -865,7 +865,9 @@ package body Exp_Aggr is
 
             --  Checks 8: (no delayed components)
 
-            if Is_Delayed_Aggregate (Expr) then
+            if Is_Delayed_Aggregate (Expr)
+              or else Is_Delayed_Conditional_Expression (Expr)
+            then
                return False;
             end if;