1-- { dg-do run } 2-- { dg-options "-O" } 3 4with Loop_Optimization17_Pkg; use Loop_Optimization17_Pkg; 5 6procedure Loop_Optimization17 is 7 8 Data : Arr; 9 10begin 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 22end; 23