https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116551
--- 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:4d72cfaadf3946b46b7472066f3c2f937d0f52f3 commit r15-4667-g4d72cfaadf3946b46b7472066f3c2f937d0f52f3 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.