https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120104
--- Comment #8 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-15 branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>: https://gcc.gnu.org/g:37c312486186ed9dc2561b2e341fd81f4f1627ec commit r15-9620-g37c312486186ed9dc2561b2e341fd81f4f1627ec 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.
