https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54178
--- Comment #4 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Eric Botcazou <[email protected]>: https://gcc.gnu.org/g:c2b3d5e23ec92fca5852d607a4e2348fb011f3a7 commit r16-4721-gc2b3d5e23ec92fca5852d607a4e2348fb011f3a7 Author: Eric Botcazou <[email protected]> Date: Thu Oct 30 00:33:36 2025 +0100 Ada: Fix spurious visibility issue with qualified aggregate in instantiation Aggregates used as actuals of formal object parameters are handled specially by Instantiate_Object in Sem_Ch12 and qualifying them is sufficient to block this special processing. gcc/ada/ PR ada/54178 * sem_ch12.adb (Instantiate_Object): Strip qualification to detect aggregates used as actuals. gcc/testsuite/ * gnat.dg/aggr32.adb: New test. * gnat.dg/aggr32_pkg.ads: New helper. * gnat.dg/aggr32_pkg-child.ads: Likewise.
