12 lines
370 B
Ada
12 lines
370 B
Ada
|
-- { dg-do compile }
|
||
|
|
|
||
|
|
procedure Allocator is
|
||
|
|
type Object_Type is not null access all Integer;
|
||
|
|
type Object_Array is array (Positive range <>) of Object_Type;
|
||
|
|
type Object_Array_Ptr is access Object_Array;
|
||
|
|
type Data_Ptr is access Object_Array_Ptr;
|
||
|
|
Copy : Data_Ptr := new Object_Array_Ptr;
|
||
|
|
begin
|
||
|
|
Copy.all := new Object_Array (1..2);
|
||
|
|
end;
|