https://gcc.gnu.org/g:ae603c3d80a3cb1c2fe93d7d979a4c2b305c21a7
commit r16-9068-gae603c3d80a3cb1c2fe93d7d979a4c2b305c21a7 Author: Ronan Desplanques <[email protected]> Date: Wed May 27 07:04:03 2026 +0200 ada: Fix extra formal mismatch This fixes the criterion that determines whether to add finalization collection extra formals to BIP functions. gcc/ada/ChangeLog: * exp_ch6.adb (Needs_BIP_Collection): Fix condition. Diff: --- gcc/ada/exp_ch6.adb | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index 0a1fda07d547..978861efbc06 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -10283,8 +10283,7 @@ package body Exp_Ch6 is return not Restriction_Active (No_Finalization) and then (Needs_Finalization (Typ) or else Is_Tagged_Type (Typ)) - and then not Has_Relaxed_Finalization (Typ) - and then not Has_Foreign_Convention (Typ); + and then not Has_Relaxed_Finalization (Typ); end Needs_BIP_Collection; --------------------------
