blob: 3748d5ec206b82583e8bea08962d5f6ce5045289 [file] [log] [blame]
-- { 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;