1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/pointer_protected.adb b/gcc/testsuite/gnat.dg/pointer_protected.adb
new file mode 100644
index 000000000..070dbef94
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/pointer_protected.adb
@@ -0,0 +1,10 @@
+-- { dg-do compile }
+
+with pointer_protected_p;
+
+procedure pointer_protected is
+   Pointer : pointer_protected_p.Ptr := null;
+   Data    : pointer_protected_p.T;
+begin
+   Pointer.all (Data);
+end pointer_protected;