From: Eric Botcazou <ebotca...@adacore.com>
Now that Is_Finalizable_Transient only looks at the renamings coming from
nontransient objects serviced by transient scopes, it must find the object
ultimately renamed by them through a chain of renamings.
gcc/ada/
PR ada/114710
* exp_util.adb (Find_Renamed_Object): Recurse if the renamed object
is itself a renaming.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/exp_util.adb | 18 ++++++++++++++----
1 file changed, 14 insertions(+), 4 deletions(-)
diff --git a/gcc/ada/exp_util.adb b/gcc/ada/exp_util.adb
index 6ad464e6701..bf95b0e13c8 100644
--- a/gcc/ada/exp_util.adb
+++ b/gcc/ada/exp_util.adb
@@ -8808,9 +8808,10 @@ package body Exp_Util is
First_Stmt : Node_Id) return Boolean
is
function Find_Renamed_Object (Ren_Decl : Node_Id) return Entity_Id;
- -- Given an object renaming declaration, retrieve the entity of the
- -- renamed name. Return Empty if the renamed name is anything other
- -- than a variable or a constant.
+ -- Given an object renaming declaration, retrieve the entity within
+ -- the renamed name, recursively if this entity is itself a renaming.
+ -- Return Empty if the renamed name contains anything other than a
+ -- variable or a constant.
-------------------------
-- Find_Renamed_Object --
@@ -8877,7 +8878,16 @@ package body Exp_Util is
Search (Constant_Value (Ren_Obj));
end if;
- return Ren_Obj;
+ -- Recurse if Ren_Obj is itself a renaming
+
+ if Present (Ren_Obj)
+ and then Ekind (Ren_Obj) = E_Variable
+ and then Present (Renamed_Object (Ren_Obj))
+ then
+ return Find_Renamed_Object (Declaration_Node (Ren_Obj));
+ else
+ return Ren_Obj;
+ end if;
end Find_Renamed_Object;
-- Local variables
--
2.45.1
