blob: 6be28f11347effd342b65e102c3b896345f74118 [file] [log] [blame]
-- { 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;