]> git.ipfire.org Git - thirdparty/gcc.git/commit
Add regression test
authorEric Botcazou <ebotcazou@adacore.com>
Fri, 25 Oct 2024 11:14:22 +0000 (13:14 +0200)
committerEric Botcazou <ebotcazou@adacore.com>
Fri, 25 Oct 2024 11:18:33 +0000 (13:18 +0200)
commit11b51284290b2e369fcab8d74735bf3cc017894f
treea2277dfec52966d2a425aac869df3d2b0e8d886f
parentd587da263188eb81741e432de70bccf8c53c3d97
Add regression test

gcc/testsuite
PR ada/116551
* gnat.dg/specs/vfa3.ads: New test.
gcc/testsuite/gnat.dg/specs/vfa3.ads [new file with mode: 0644]