gcc/testsuite/gnat.dg/array12.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

-- { dg-do run }

procedure Array12 is

  function N return Integer is
  begin
    return 0;
  end;

  subtype Element is String (1 .. N);
  type Ptr is access all Element;
  type Vector is array (Positive range <>) of aliased Element;

  V : Vector (1..2);

begin
  if Ptr'(V(1)'Access) = V(2)'Access then
    raise Program_Error;
  end if;
end;