1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/deques.ads b/gcc/testsuite/gnat.dg/deques.ads
new file mode 100644
index 000000000..9e7489768
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/deques.ads
@@ -0,0 +1,14 @@
+package Deques is
+
+    type Deque (<>) is tagged limited private;
+    function Create return Deque;
+    procedure Pop (D : access Deque);
+
+    type Sequence is limited interface;
+    type P_Deque is new Deque and Sequence with private;
+    function Create return P_Deque;
+
+private
+    type Deque is tagged limited null record;
+    type P_Deque is new Deque and Sequence with null record;
+end Deques;