https://gcc.gnu.org/g:9662803b6c3215f8d16e8068caaa6af241446c65
commit r15-10065-g9662803b6c3215f8d16e8068caaa6af241446c65
Author: Ronan Desplanques <desplanq...@adacore.com>
Date: Fri Jul 11 11:28:35 2025 +0200
ada: Fix regression of finalization primitive selection
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.
Diff:
---
gcc/ada/sem_ch3.adb | 2 ++
1 file changed, 2 insertions(+)
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index b68dcda4c549..85940f2e7cf5 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -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.
