21 lines
347 B
Ada
21 lines
347 B
Ada
|
-- { 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;
|