From: Eric Botcazou <ebotcazou@adacore.com>
Date: Wed, 18 May 2022 09:05:33 +0000 (+0200)
Subject: [Ada] Fix spurious use of trampolines with interface types
X-Git-Tag: basepoints/gcc-14~6260
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=4c132238a51d407e1ab2388eaf8c6bce2fe5637f;p=thirdparty%2Fgcc.git

[Ada] Fix spurious use of trampolines with interface types

Function pointers must always be built with '[Unrestricted_]Access.

gcc/ada/

	* exp_ch3.adb (Init_Secondary_Tags.Initialize_Tag): Initialize the
	Offset_Func component by means of 'Unrestricted_Access.
---

diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb
index 2f74208c401..d02a863045b 100644
--- a/gcc/ada/exp_ch3.adb
+++ b/gcc/ada/exp_ch3.adb
@@ -9506,7 +9506,7 @@ package body Exp_Ch3 is
             --       Prim_T       => Typ'Tag,
             --       Interface_T  => Iface'Tag,
             --       Offset_Value => n,
-            --       Offset_Func  => Fn'Address)
+            --       Offset_Func  => Fn'Unrestricted_Access)
 
             Append_To (Stmts_List,
               Make_Procedure_Call_Statement (Loc,
@@ -9541,7 +9541,7 @@ package body Exp_Ch3 is
                     Make_Attribute_Reference (Loc,
                       Prefix => New_Occurrence_Of
                                   (DT_Offset_To_Top_Func (Tag_Comp), Loc),
-                      Attribute_Name => Name_Address)))));
+                      Attribute_Name => Name_Unrestricted_Access)))));
 
             --  In this case the next component stores the value of the offset
             --  to the top.