]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Fix regression of finalization primitive selection
authorRonan Desplanques <desplanques@adacore.com>
Fri, 11 Jul 2025 09:28:35 +0000 (11:28 +0200)
committerEric Botcazou <ebotcazou@gcc.gnu.org>
Fri, 25 Jul 2025 10:15:12 +0000 (12:15 +0200)
A recent patch introduced a new flag to mark the types for which looking
up finalization primitives needs special handling. But there was one
place in Build_Derived_Record_Type where the flag was not set when it
should, which introduced a regression in some cases.

This patch adds the missing setting of the flag.

gcc/ada/ChangeLog:

* sem_ch3.adb (Build_Derived_Record_Type): Set flag appropriately.

gcc/ada/sem_ch3.adb

index b68dcda4c54958d697b942bc50f57f6f8449e8ef..85940f2e7cf5485ea0e358a262b271413f435ab7 100644 (file)
@@ -9595,6 +9595,8 @@ package body Sem_Ch3 is
            (New_Decl, Parent_Base, New_Base,
             Is_Completion => False, Derive_Subps => False);
 
+         Set_Is_Implicit_Full_View (New_Base);
+
          --  ??? This needs re-examination to determine whether the
          --  following call can simply be replaced by a call to Analyze.