Subversion Repositories openrisc

-- { dg-do run }
-- { dg-options "-O -gnatn" }
 
with Loop_Optimization8_Pkg1;
 
procedure Loop_Optimization8 is
 
  Data : Loop_Optimization8_Pkg1.T;
 
  procedure Check_1 (N : in Natural) is
  begin
     if N /= 0 then
       for I in 1 .. Data.Last loop
         declare
           F : constant Natural := Data.Elements (I);
         begin
           if F = N then
              raise Program_Error;
           end if;
         end;
       end loop;
     end if;
  end;
 
  procedure Check is new Loop_Optimization8_Pkg1.Iter (Check_1);
 
begin
  Data := Loop_Optimization8_Pkg1.Empty;
  Check;
end;