From da7cd04339b4db1bfdc4846eca2df04deca1a9b2 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Fri, 20 May 2022 19:06:28 +0200 Subject: [PATCH] [Ada] Never make symbols for thunks public Thunks are only referenced locally by dispatch tables and never inlined. gcc/ada/ * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Clear the Is_Public flag on thunks. --- gcc/ada/sem_ch6.adb | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/gcc/ada/sem_ch6.adb b/gcc/ada/sem_ch6.adb index 8fd88ad..848c234 100644 --- a/gcc/ada/sem_ch6.adb +++ b/gcc/ada/sem_ch6.adb @@ -4772,6 +4772,13 @@ package body Sem_Ch6 is if Nkind (N) /= N_Subprogram_Body or else not Was_Expression_Function (N) then + -- First clear the Is_Public flag on thunks since they are only + -- referenced locally by dispatch tables and thus never inlined. + + if Is_Thunk (Body_Id) then + Set_Is_Public (Body_Id, False); + end if; + Freeze_Before (N, Body_Id); end if; -- 2.7.4