5 files changed, 73 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/prot2.adb b/gcc/testsuite/gnat.dg/prot2.adb
new file mode 100644
index 00000000000..cc6fcab8fe6
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/prot2.adb
@@ -0,0 +1,23 @@
+-- { dg-do compile }
+
+with Prot2_Pkg1;
+with Prot2_Pkg2;
+
+package body Prot2 is
+
+   type A is array (1 .. Prot2_Pkg1.Num) of Integer;
+
+   type E is (One, Two);
+
+   type Rec (D : E := One) is record
+      case D is
+         when One => L : A;
+         when Two => null;
+      end case;
+   end record;
+
+   package My_Pkg2 is new Prot2_Pkg2 (Rec);
+
+   procedure Dummy is begin null; end;
+
+end Prot2;
diff --git a/gcc/testsuite/gnat.dg/prot2.ads b/gcc/testsuite/gnat.dg/prot2.ads
new file mode 100644
index 00000000000..d388fc7d097
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/prot2.ads
@@ -0,0 +1,5 @@
+package Prot2 is
+
+   procedure Dummy;
+
+end Prot2;
diff --git a/gcc/testsuite/gnat.dg/prot2_pkg1.ads b/gcc/testsuite/gnat.dg/prot2_pkg1.ads
new file mode 100644
index 00000000000..2e71aacfcdc
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/prot2_pkg1.ads
@@ -0,0 +1,5 @@
+package Prot2_Pkg1 is
+
+   function Num return Natural;
+
+end Prot2_Pkg1;
diff --git a/gcc/testsuite/gnat.dg/prot2_pkg2.adb b/gcc/testsuite/gnat.dg/prot2_pkg2.adb
new file mode 100644
index 00000000000..503cce73d17
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/prot2_pkg2.adb
@@ -0,0 +1,23 @@
+with Unchecked_Deallocation;
+
+package body Prot2_Pkg2 is
+
+   protected type Rec is
+   private
+       M : T;
+   end Rec;
+
+   protected body Rec is end;
+
+   procedure Create (B : out Id) is
+   begin
+       B := new Rec;
+   end;
+
+   procedure Delete (B : in out Id) is
+      procedure Free is new Unchecked_Deallocation(Object => Rec, Name => Id);
+   begin
+      Free (B);
+   end;
+
+end Prot2_Pkg2;
diff --git a/gcc/testsuite/gnat.dg/prot2_pkg2.ads b/gcc/testsuite/gnat.dg/prot2_pkg2.ads
new file mode 100644
index 00000000000..cdd436b8afb
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/prot2_pkg2.ads
@@ -0,0 +1,17 @@
+generic
+
+   type T is private;
+
+package Prot2_Pkg2 is
+
+   type Id is private;
+
+   procedure Create (B : out Id);
+   procedure Delete (B : in out Id);
+
+private
+
+   type Rec;
+   type Id is access Rec;
+
+end Prot2_Pkg2;