[Bug ada/120705] assertion failure for Finalizable aspect on tagged type with discriminant-dependent component

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120705

--- Comment #3 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:79b82eb732765507367bb26fcd86c526599e3082

commit r15-9897-g79b82eb732765507367bb26fcd86c526599e3082
Author: Eric Botcazou <ebotca...@adacore.com>
Date:   Tue Jul 1 19:17:06 2025 +0200

    Ada: Fix assertion failure for Finalizable aspect on tagged type

    This fixes an assertion failure for the Finalizable aspect applied on a
    tagged type with discriminant-dependent component.

    gcc/ada/
            PR ada/120705
            * exp_ch6.adb (Needs_BIP_Collection): Always return False if the
            type has relaxed finalization.

    gcc/testsuite/
            * gnat.dg/specs/finalizable2.ads: New test.