summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/self.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gnat.dg/self.ads')
-rw-r--r--gcc/testsuite/gnat.dg/self.ads17
1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/self.ads b/gcc/testsuite/gnat.dg/self.ads
new file mode 100644
index 000000000..1837188ab
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/self.ads
@@ -0,0 +1,17 @@
+with System;
+package Self is
+ type Lim is limited private;
+ type Lim_Ref is access all Lim;
+ function G (X : Integer) return lim;
+
+ procedure Change (X : in out Lim; Incr : Integer);
+ function Get (X : Lim) return Integer;
+private
+ type Lim is limited record
+ Comp : Integer;
+ Self_Default : Lim_Ref := Lim'Unchecked_Access;
+ Self_Unrestricted_Default : Lim_Ref := Lim'Unrestricted_Access;
+ Self_Anon_Default : access Lim := Lim'Unchecked_Access;
+ Self_Anon_Unrestricted_Default : access Lim := Lim'Unrestricted_Access;
+ end record;
+end Self;