]> git.ipfire.org Git - thirdparty/gcc.git/commit
Add regression test
authorEric Botcazou <ebotcazou@adacore.com>
Mon, 4 Nov 2024 10:15:15 +0000 (11:15 +0100)
committerEric Botcazou <ebotcazou@adacore.com>
Mon, 4 Nov 2024 10:20:13 +0000 (11:20 +0100)
commit0bcca04f0947783df93386bbe22253092f3b0d52
treefa2721fad64565d363eaba723cdf1e5057ac1330
parent4f563063f93af3ecad5ee8e8a0c61c1753087dac
Add regression test

This is for the latest fix made to Selected_Length_Checks in Checks.

gcc/testsuite
* gnat.dg/specs/array7.ads: New test.
gcc/testsuite/gnat.dg/specs/array7.ads [new file with mode: 0644]