1 files changed, 17 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/loop_optimization13.ads b/gcc/testsuite/gnat.dg/loop_optimization13.ads
new file mode 100644
index 00000000000..2d3b8e59f18
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/loop_optimization13.ads
@@ -0,0 +1,17 @@
+with Ada.Numerics.Complex_Types; use Ada.Numerics.Complex_Types;
+
+package Loop_Optimization13 is
+
+   type Complex_Vector is array (Integer range <>) of Complex;
+   type Complex_Vector_Ptr is access Complex_Vector;
+
+   type Rec (Kind : Boolean := False) is record
+      case Kind is
+         when True => V : Complex_Vector_Ptr;
+         when False => null;
+      end case;
+   end record;
+
+   function F (A : Rec) return Rec;
+
+end Loop_Optimization13;