https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116190
--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-13 branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>: https://gcc.gnu.org/g:a998902576db03a178fe21aa46ed38647f112a98 commit r13-9097-ga998902576db03a178fe21aa46ed38647f112a98 Author: Eric Botcazou <ebotca...@adacore.com> Date: Tue Oct 8 15:17:27 2024 +0200 Add regression test gcc/testsuite/ PR ada/116190 * gnat.dg/aggr31.adb: New test.