gcc/testsuite/gnat.dg/loop_optimization15.adb

   1 -- { dg-do compile }\r
   2 -- { dg-options "-O3" }\r
   3 \r
   4 package body Loop_Optimization15 is\r
   5 \r
   6   type Integer_Array_T is array (B16_T range <>) of Integer;\r
   7 \r
   8   Len : constant B16_T := 10;\r
   9 \r
  10   Src : constant Integer_Array_T (1 .. Len) := (others => 0);\r
  11   Dst : Integer_Array_T (1 .. Len);\r
  12 \r
  13   procedure Proc (L : B16_T) is\r
  14   begin\r
  15       for I in  1 .. B16_T'Min (L, Len) loop\r
  16           Dst (I) := Src (I);\r
  17       end loop;\r
  18   end;\r
  19 \r
  20 end Loop_Optimization15;\r