gcc/testsuite/gnat.dg/opt23.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-O2 -gnatn" }
   3
   4 package body Opt23 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          R := Get (Driver, 3, Driver.Step (I));
  13       end loop;
  14    end;
  15
  16 end Opt23;