diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-05-18 11:05:33 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-06-02 09:06:43 +0000 |
| commit | 4c132238a51d407e1ab2388eaf8c6bce2fe5637f (patch) | |
| tree | 0bb40dcad5373f7a5ec8b10aaf10e132dbb4c3b0 | |
| parent | 8575c72f04019a5ffc6be359e1d513bb2e1fb2d8 (diff) | |
| download | gcc-4c132238a51d407e1ab2388eaf8c6bce2fe5637f.zip gcc-4c132238a51d407e1ab2388eaf8c6bce2fe5637f.tar.gz gcc-4c132238a51d407e1ab2388eaf8c6bce2fe5637f.tar.bz2 | |
[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.
| -rw-r--r-- | gcc/ada/exp_ch3.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/exp_ch3.adb b/gcc/ada/exp_ch3.adb index 2f74208..d02a863 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. |