1-- { dg-do run }
2
3procedure Array12 is
4
5  function N return Integer is
6  begin
7    return 0;
8  end;
9
10  subtype Element is String (1 .. N);
11  type Ptr is access all Element;
12  type Vector is array (Positive range <>) of aliased Element;
13
14  V : Vector (1..2);
15
16begin
17  if Ptr'(V(1)'Access) = V(2)'Access then
18    raise Program_Error;
19  end if;
20end;
21