-- { dg-do run }
|
-- { dg-do run }
|
|
|
with GNAT.Table;
|
with GNAT.Table;
|
with Ada.Text_IO; use Ada.Text_IO;
|
with Ada.Text_IO; use Ada.Text_IO;
|
|
|
procedure test_table1 is
|
procedure test_table1 is
|
type Rec is record
|
type Rec is record
|
A, B, C, D, E : Integer := 0;
|
A, B, C, D, E : Integer := 0;
|
F, G, H, I, J : Integer := 1;
|
F, G, H, I, J : Integer := 1;
|
K, L, M, N, O : Integer := 2;
|
K, L, M, N, O : Integer := 2;
|
end record;
|
end record;
|
|
|
R : Rec;
|
R : Rec;
|
|
|
package Tab is new GNAT.Table (Rec, Positive, 1, 4, 30);
|
package Tab is new GNAT.Table (Rec, Positive, 1, 4, 30);
|
|
|
Last : Natural;
|
Last : Natural;
|
|
|
begin
|
begin
|
R.O := 3;
|
R.O := 3;
|
|
|
Tab.Append (R);
|
Tab.Append (R);
|
|
|
for J in 1 .. 1_000_000 loop
|
for J in 1 .. 1_000_000 loop
|
Last := Tab.Last;
|
Last := Tab.Last;
|
begin
|
begin
|
Tab.Append (Tab.Table (Last));
|
Tab.Append (Tab.Table (Last));
|
exception
|
exception
|
when others =>
|
when others =>
|
Put_Line ("exception raise for J =" & J'Img);
|
Put_Line ("exception raise for J =" & J'Img);
|
raise;
|
raise;
|
end;
|
end;
|
|
|
if Tab.Table (Tab.Last) /= R then
|
if Tab.Table (Tab.Last) /= R then
|
Put_Line ("Last is not what is expected");
|
Put_Line ("Last is not what is expected");
|
Put_Line (J'Img);
|
Put_Line (J'Img);
|
return;
|
return;
|
end if;
|
end if;
|
end loop;
|
end loop;
|
end;
|
end;
|
|
|
