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