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.

Reply via email to