PR tree-optimization/81303

[official-gcc.git] / gcc / testsuite / gnat.dg / array15.ads

package Array15 is

   function F (I : Integer) return Integer;

end Array15;