[Bug ada/120665] assertion failure on problematic container aggregate

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

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

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

commit r16-1547-gf577a9eb3c80594e46498d10b7eaacff47fe2286
Author: Eric Botcazou <ebotca...@adacore.com>
Date:   Tue Jun 17 18:55:39 2025 +0200

    Ada: Fix assertion failure on problematic container aggregate

    This is an assertion failure on code using a container aggregate in the
    primitives referenced by the Aggregate aspect, which cannot work.

    gcc/ada/
            PR ada/120665
            * sem_aggr.adb (Resolve_Container_Aggregate): Use robust guards.

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