1 files changed, 23 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/test_image_p.ads b/gcc/testsuite/gnat.dg/test_image_p.ads
new file mode 100644
index 000000000..95715b8b5
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/test_image_p.ads
@@ -0,0 +1,23 @@
+package test_image_p is
+    type type1 is tagged private;
+    type type3 is limited private;
+    type type5 is tagged limited private;
+    type a_type5_class is access all type5'Class;
+    task type task_t (arg : access type3) is
+        entry entry1;
+    end task_t;
+    function to_type1 (arg1 : in Integer) return type1;
+private
+  type array_t is array (Positive range <>) of type1;
+  type array_t2 is array (1 .. 3) of Boolean;
+  type type1 is tagged record
+     f2 : array_t2;
+  end record;
+    type type3 is limited record
+        the_task : aliased task_t (type3'Access);
+        the_array : array_t (1 .. 10) := (others => to_type1 (-1));
+    end record;
+    type type5 is tagged limited record
+        f3 : type3;
+    end record;
+end;