diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/lto9_pkg2.ads')
-rw-r--r-- | gcc/testsuite/gnat.dg/lto9_pkg2.ads | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/lto9_pkg2.ads b/gcc/testsuite/gnat.dg/lto9_pkg2.ads new file mode 100644 index 000000000..881d02b54 --- /dev/null +++ b/gcc/testsuite/gnat.dg/lto9_pkg2.ads @@ -0,0 +1,21 @@ +generic + + Size : in Positive; + type Element_Type (<>) is private; + type Element_Ptr is access all Element_Type; + +package Lto9_Pkg2 is + + subtype Index is Positive range 1 .. (Size + 1); + + type List_Array is array (Index) of Element_Ptr; + + type List_Type is record + Elements : List_Array; + end record; + + procedure Put (List : in out List_Type; + Elem_Ptr : in Element_Ptr; + Location : in Index); + +end Lto9_Pkg2; |