]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Fix extra formal mismatch
authorRonan Desplanques <desplanques@adacore.com>
Wed, 27 May 2026 05:04:03 +0000 (07:04 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 5 Jun 2026 07:29:00 +0000 (09:29 +0200)
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.

gcc/ada/exp_ch6.adb

index 09156d987022c7bad9fd4c1c623c63fb67dafc3d..6a322be004ffd9c773eb4b1a670d9e7ab2ce9053 100644 (file)
@@ -9932,8 +9932,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;
 
    --------------------------