[gcc r15-2831] ada: Run-time error with GNAT-LLVM on container aggregate with finalization

[Marc Poulhi?s via Gcc-cvs]

https://gcc.gnu.org/g:85f2ffd80ed7a54f36a9bb3a91ee07b2d5e23970

commit r15-2831-g85f2ffd80ed7a54f36a9bb3a91ee07b2d5e23970
Author: Gary Dismukes <dismu...@adacore.com>
Date:   Tue Jul 30 23:08:17 2024 +0000

    ada: Run-time error with GNAT-LLVM on container aggregate with finalization
    
    When unnesting is enabled, the compiler was failing to copy the At_End_Proc
    field from a block statement to the procedure created to replace it when
    unnesting of top-level blocks is done.  At run time this could lead to
    exceptions due to missing finalization calls.
    
    gcc/ada/
    
            * exp_ch7.adb (Unnest_Block): Copy the At_End_Proc from the block
            statement to the newly created subprogram body.

Diff:
---
 gcc/ada/exp_ch7.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb
index 72f0b539c2eb..640ad5c60b8d 100644
--- a/gcc/ada/exp_ch7.adb
+++ b/gcc/ada/exp_ch7.adb
@@ -8932,7 +8932,8 @@ package body Exp_Ch7 is
               Defining_Unit_Name => Local_Proc),
               Declarations       => Declarations (Decl),
           Handled_Statement_Sequence =>
-            Handled_Statement_Sequence (Decl));
+            Handled_Statement_Sequence (Decl),
+          At_End_Proc                => New_Copy_Tree (At_End_Proc (Decl)));
 
       --  Handlers in the block may contain nested subprograms that require
       --  unnesting.