commit c9c6392fcbc96d2df388fc72ae15d564da2e74ad
author Ronan Desplanques <desplanques@adacore.com> Mon Jun 02 12:09:59 2025 +0200
committer Eric Botcazou <ebotcazou@adacore.com> Thu Jul 03 11:40:30 2025 +0200
tree 714b8a80429b7579aaa83c83ad36f934f42b67fd
parent 4ea7021613c47201f87b40116249d85bd5169ce9

ada: Fix assertion failure on finalizable aggregate

The Finalizable aspect makes it possible that
Insert_Actions_In_Scope_Around is entered with an empty list of after
actions. This patch fixes a condition that was not quite right in this
case.

gcc/ada/ChangeLog:

	* exp_ch7.adb (Insert_Actions_In_Scope_Around): Fix condition.

gcc/ada/exp_ch7.adb

diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb
index 4d2b834..381294b 100644
--- a/gcc/ada/exp_ch7.adb
+++ b/gcc/ada/exp_ch7.adb
@@ -5460,7 +5460,7 @@
 
       --  Finalization calls are inserted after the target
 
-      if Present (Act_After) then
+      if Is_Non_Empty_List (Act_After) then
          Last_Obj := Last (Act_After);
          Insert_List_After (Target, Act_After);
       else