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;