1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/vect11.ads b/gcc/testsuite/gnat.dg/vect11.ads
new file mode 100644
index 00000000000..f3ceac111a1
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/vect11.ads
@@ -0,0 +1,11 @@
+package Vect11 is
+
+   -- Constrained array types are vectorizable
+   type Sarray is array (1 .. 4) of Float;
+   for Sarray'Alignment use 16;
+
+   function "+" (X, Y : Sarray) return Sarray;
+   procedure Add (X, Y : Sarray; R : out Sarray);
+   procedure Add (X, Y : not null access Sarray; R : not null access Sarray);
+
+end Vect11;