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