https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116551
--- Comment #5 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-14 branch has been updated by Eric Botcazou <ebotca...@gcc.gnu.org>: https://gcc.gnu.org/g:11b51284290b2e369fcab8d74735bf3cc017894f commit r14-10837-g11b51284290b2e369fcab8d74735bf3cc017894f 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.