gcc/testsuite/gnat.dg/opt24.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2 -gnatn" }
   3
   4 package 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
  15 end Opt24;