PR ada/53592

	* gcc-interface/gigi.h (maybe_vector_array): Make static inline.
	* gcc-interface/utils.c (maybe_vector_array): Delete.
	* gcc-interface/trans.c (gnat_to_gnu) <N_Indexed_Component>: Mark the
	array object as addressable if it has vector type and is on the LHS.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@188653 138bc75d-0d04-0410-961f-82ee72b054a4

2 files changed, 21 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/vect8.adb b/gcc/testsuite/gnat.dg/vect8.adb
new file mode 100644
index 00000000000..b13555abd0f
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/vect8.adb
@@ -0,0 +1,11 @@
+package body Vect8 is
+
+   function Foo (V : Vec) return Vec is
+      Ret : Vec;
+   begin
+      Ret (1) := V (1) + V (2);
+      Ret (2) := V (1) - V (2);
+      return Ret;
+   end;
+
+end Vect8;
diff --git a/gcc/testsuite/gnat.dg/vect8.ads b/gcc/testsuite/gnat.dg/vect8.ads
new file mode 100644
index 00000000000..5406c70f49f
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/vect8.ads
@@ -0,0 +1,10 @@
+-- { dg-do compile }
+
+package Vect8 is
+
+   type Vec is array (1 .. 2) of Long_Float;
+   pragma Machine_Attribute (Vec, "vector_type");
+
+   function Foo (V : Vec) return Vec;
+
+end Vect8;