gcc/testsuite/gnat.dg/loop_optimization3_pkg.ads

package Loop_Optimization3_Pkg is

  function F (n : Integer) return Integer;

end Loop_Optimization3_Pkg;