79b82eb732765507367bb26fcd86c526599e3082 - gcc

commit: 79b82eb732765507367bb26fcd86c526599e3082
[log]
author: Eric Botcazou <ebotcazou@adacore.com>
Tue Jul 01 19:17:06 2025 +0200
committer: Eric Botcazou <ebotcazou@adacore.com>
Tue Jul 01 19:19:23 2025 +0200
tree: e945fd2b50e9e0ac90d36e7c67345435e2914d3e
parent: 7fdf47538a659f6af8dadbecbb63c8a226b63754 [diff]

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.

gcc/ada/exp_ch6.adb[diff]
gcc/testsuite/gnat.dg/specs/finalizable2.ads[Added - diff]

2 files changed

tree: e945fd2b50e9e0ac90d36e7c67345435e2914d3e