1 files changed, 20 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/loop_optimization8_pkg1.ads b/gcc/testsuite/gnat.dg/loop_optimization8_pkg1.ads
new file mode 100644
index 000000000..e6f3c7021
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/loop_optimization8_pkg1.ads
@@ -0,0 +1,20 @@
+with Ada.Finalization;
+
+package Loop_Optimization8_Pkg1 is
+
+  type Array_T is array (Positive range <>) of Natural;
+
+  type Array_Access_T is access Array_T;
+
+  type T is new Ada.Finalization.Controlled with record
+    Last : Natural := 0;
+    Elements : Array_Access_T;
+  end record;
+
+  Empty : T := (Ada.Finalization.Controlled with Last => 0, Elements => null);
+
+  generic
+    with procedure Action (Info : Natural);
+  procedure Iter;
+
+end Loop_Optimization8_Pkg1;