gcc/testsuite/gnat.dg/loop_optimization18.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

-- { dg-do compile }
-- { dg-options "-O3" }

package body Loop_Optimization18 is

   procedure Proc (Message : Byte_Array_Type) is

      R : Rec (Conv (Message));

   begin
      for Division in 1 .. R.UB loop
         R.L (Division) := 0;
      end loop;
  end;

end Loop_Optimization18;