Compiler aborts on a use of attribute 'Img on an object of a record
type, when the attribute reference occurs within a larger expression,
such as a string comparison.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* exp_ch4.adb (Process_Transient_In_Expression): Ensure that
Fin_Context, used to insert finalization code for the
expression, is a list member: the value returned by
Find_Hook_Context may be an expression node when the transient
is part of a larger expression and it has a non-boolean type.diff --git a/gcc/ada/exp_ch4.adb b/gcc/ada/exp_ch4.adb
--- a/gcc/ada/exp_ch4.adb
+++ b/gcc/ada/exp_ch4.adb
@@ -14952,7 +14952,17 @@ package body Exp_Ch4 is
-- Hook := null;
-- end if;
+ -- Note that the value returned by Find_Hook_Context may be an
+ -- operator node, which is not a list member. We must locate in the
+ -- tree the proper node after which to inwert the finaliation code.
+
else
+ while not Is_List_Member (Fin_Context) loop
+ Fin_Context := Parent (Fin_Context);
+ end loop;
+
+ pragma Assert (Present (Fin_Context));
+
Insert_Action_After (Fin_Context,
Make_Implicit_If_Statement (Obj_Decl,
Condition =>
