gcc-4.9/gcc/testsuite/gnat.dg/loop_optimization16_pkg.adb


1
2
3
4
5
6
7
8

package body Loop_Optimization16_Pkg is

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

end Loop_Optimization16_Pkg;