[gcc r12-1902] [Ada] Make copies of entities being declared when copying block

[gcc r12-1902] [Ada] Make copies of entities being declared when copying block

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:9a2c557b8ba4e33452a27219af1db83ec0cb7e0a

commit r12-1902-g9a2c557b8ba4e33452a27219af1db83ec0cb7e0a
Author: Richard Kenner <kenner@adacore.com>
Date:   Wed Apr 21 08:35:24 2021 -0400

    [Ada] Make copies of entities being declared when copying block
    
    gcc/ada/
    
            * sem_util.adb (Visit_Node): Add handling for N_Block_Statement
            with declarations.

Diff:
---
 gcc/ada/sem_util.adb | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 0d509526314..a54326805e5 100644
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -24344,6 +24344,26 @@ package body Sem_Util is
             EWA_Inner_Scope_Level := EWA_Inner_Scope_Level + 1;
          end if;
 
+         --  If the node is a block, we need to process all declarations
+         --  in the block and make new entities for each.
+
+         if Nkind (N) = N_Block_Statement and then Present (Declarations (N))
+         then
+            declare
+               Decl : Node_Id := First (Declarations (N));
+
+            begin
+               while Present (Decl) loop
+                  if Nkind (Decl) = N_Object_Declaration then
+                     Add_New_Entity (Defining_Identifier (Decl),
+                                     New_Copy (Defining_Identifier (Decl)));
+                  end if;
+
+                  Next (Decl);
+               end loop;
+            end;
+         end if;
+
          declare
             procedure Action (U : Union_Id);
             procedure Action (U : Union_Id) is