gcc/testsuite/gnat.dg/array4.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

-- { 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;