gcc/testsuite/gnat.dg/loop_optimization17.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O" }
   3
   4 with Loop_Optimization17_Pkg; use Loop_Optimization17_Pkg;
   5
   6 procedure Loop_Optimization17 is
   7
   8   Data : Arr;
   9
  10 begin
  11
  12   Data := (others => (I  => 0,
  13                       V1 => (others => 0.0),
  14                       V2 => (others => 0.0),
  15                       S  => 0.0));
  16
  17   for I in Index_T'Range loop
  18     Object (I).V1 := F (Data (I).V1);
  19     Object (I).V2 := F (Data (I).V2);
  20   end loop;
  21
  22 end;