https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116551
--- Comment #7 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:18af118e17bd0787638967725047f7241e43b2b2 commit r13-9149-g18af118e17bd0787638967725047f7241e43b2b2 Author: Eric Botcazou <ebotca...@adacore.com> Date: Fri Oct 25 13:14:22 2024 +0200 Add regression test gcc/testsuite PR ada/116551 * gnat.dg/specs/vfa3.ads: New test.