]> 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:17:45 +0000 (11:17 +0100)
commit28e2d41fa6a2ff9c2510887ef10243560fc3eb40
tree8961fd0216c1ade4fa675cdcc7fad196f3756bb7
parentf1d16cd9236e0d59c04018e2dccc09dd736bf1df
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]