gcc/testsuite/gnat.dg/loop_optimization3_pkg.adb

package body Loop_Optimization3_Pkg is

  function F (n : Integer) return Integer is
  begin
    return n;
  end;

end Loop_Optimization3_Pkg;