summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/class_wide1.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gnat.dg/class_wide1.adb')
-rw-r--r--gcc/testsuite/gnat.dg/class_wide1.adb26
1 files changed, 26 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/class_wide1.adb b/gcc/testsuite/gnat.dg/class_wide1.adb
new file mode 100644
index 000000000..ba6fea032
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/class_wide1.adb
@@ -0,0 +1,26 @@
+-- { dg-do compile }
+
+procedure Class_Wide1 is
+ package P is
+ type T is tagged null record;
+ procedure P1 (x : T'Class);
+ procedure P2 (x : access T'Class);
+ end P;
+ package body P is
+ procedure P1 (x : T'Class) is
+ begin
+ null;
+ end;
+ procedure P2 (x : access T'Class) is
+ begin
+ null;
+ end;
+ end P;
+ use P;
+ a : T;
+ type Ptr is access T;
+ b : Ptr := new T;
+begin
+ A.P1;
+ B.P2;
+end;