gcc/testsuite/gnat.dg/specs/array5.ads

-- { dg-do compile }

with Array5_Pkg1; use Array5_Pkg1;

package Array5 is

  C : constant Integer := Arr'Last;

end Array5;