summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/deref3.adb
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/gnat.dg/deref3.adb')
-rw-r--r--gcc/testsuite/gnat.dg/deref3.adb10
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/deref3.adb b/gcc/testsuite/gnat.dg/deref3.adb
new file mode 100644
index 000000000..b0edb18fb
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/deref3.adb
@@ -0,0 +1,10 @@
+-- { dg-do compile }
+
+with deref2;
+procedure deref3 is
+ Obj : aliased deref2.NT;
+begin
+ deref2.PT_View (Obj'Access).Op;
+ Obj.PT_View.all.Op;
+ Obj.PT_View.Op;
+end;