38 lines
576 B
Ada
38 lines
576 B
Ada
-- { dg-do run }
|
|
|
|
procedure Array4 is
|
|
|
|
type A is array (1..5) of Integer;
|
|
f : constant A := (1, 2, 3, 4, 5);
|
|
|
|
i1 : integer renames f(1);
|
|
i2 : integer renames f(2);
|
|
i3 : integer renames f(3);
|
|
i4 : integer renames f(4);
|
|
i5 : integer renames f(5);
|
|
|
|
procedure Link_Failure;
|
|
pragma Import (C, Link_Failure);
|
|
|
|
begin
|
|
if i1 /= 1 then
|
|
Link_Failure;
|
|
end if;
|
|
|
|
if i2 /= 2 then
|
|
Link_Failure;
|
|
end if;
|
|
|
|
if i3 /= 3 then
|
|
Link_Failure;
|
|
end if;
|
|
|
|
if i4 /= 4 then
|
|
Link_Failure;
|
|
end if;
|
|
|
|
if i5 /= 5 then
|
|
Link_Failure;
|
|
end if;
|
|
end;
|