-- { dg-do compile }-- { dg-options "-O2 -gnatn" }package body Opt23 isprocedure Proc (Driver : Rec)is
R : Path;beginfor I in Driver.Step'Rangeloop
R := Get (Driver,1, Driver.Step (I));
R := Get (Driver,2, Driver.Step (I));
R := Get (Driver,3, Driver.Step (I));end loop;end;end Opt23;