1-- { dg-do compile } 2-- { dg-options "-O2 -gnatn" } 3 4package body Opt24 is 5 6 procedure Proc (Driver : Rec) is 7 R : Path; 8 begin 9 for I in Driver.Step'Range loop 10 R := Get (Driver, 1, Driver.Step (I)); 11 R := Get (Driver, 2, Driver.Step (I)); 12 end loop; 13 end; 14 15end Opt24; 16