diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/opt25_pkg2.ads')
-rw-r--r-- | gcc/testsuite/gnat.dg/opt25_pkg2.ads | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/opt25_pkg2.ads b/gcc/testsuite/gnat.dg/opt25_pkg2.ads new file mode 100644 index 00000000000..f1273082ca1 --- /dev/null +++ b/gcc/testsuite/gnat.dg/opt25_pkg2.ads @@ -0,0 +1,20 @@ +generic + + type Value is private; + Init_Val : Value; + +package Opt25_Pkg2 is + + type Stack (Size : Natural) is private; + + function Default_Stack return Stack; + +private + type Value_Array is array (Natural range <>) of Value; + + type Stack (Size : Natural) is record + Store : Value_Array (1 .. Size); + end record; + + Default_Stack_Var : Stack (10); +end Opt25_Pkg2; |