https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120104
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>: https://gcc.gnu.org/g:e67758cd816978a519d751b618043a8957d67e0e commit r16-387-ge67758cd816978a519d751b618043a8957d67e0e Author: Eric Botcazou <ebotca...@adacore.com> Date: Mon May 5 12:58:58 2025 +0200 Ada: Fix assertion failure on Finalizable aspect for tagged record type This is a (benign) assertion failure on the mainline for the new Finalizable aspect put on a tagged record type when not all the primitives are declared. This compiles and runs on the 15 branch because assertions are disabled. gcc/ada/ PR ada/120104 * exp_ch3.adb (Expand_Freeze_Record_Type): For a controlled tagged type, freeze only the controlled primitives that are present. gcc/testsuite/ * gnat.dg/specs/finalizable1.ads: New test.
