gcc/testsuite/gnat.dg/loop_optimization16_pkg.adb

package body Loop_Optimization16_Pkg is

  function F return Natural is
  begin
    return Natural (Index_Base'Last);
  end;

end Loop_Optimization16_Pkg;