[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 #2 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:8deef83915f9e0fb14f278c68527c95085461c41

commit r16-1897-g8deef83915f9e0fb14f278c68527c95085461c41
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.