From f71d5704ba64939d2e70d055659cb2d72cbce40e Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Fri, 15 Jun 2012 10:41:13 +0000 Subject: re PR ada/53592 (ICE on assignment to component of vector_type) 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) : Mark the array object as addressable if it has vector type and is on the LHS. From-SVN: r188653 --- gcc/testsuite/ChangeLog | 4 ++++ gcc/testsuite/gnat.dg/vect8.adb | 11 +++++++++++ gcc/testsuite/gnat.dg/vect8.ads | 10 ++++++++++ 3 files changed, 25 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/vect8.adb create mode 100644 gcc/testsuite/gnat.dg/vect8.ads (limited to 'gcc/testsuite') diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 2360767..5efced7 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2012-06-15 Eric Botcazou + + * gnat.dg/vect8.ad[sb]: New test. + 2012-06-14 Richard Guenther * gcc.dg/tree-ssa/vrp.h: New testcase. diff --git a/gcc/testsuite/gnat.dg/vect8.adb b/gcc/testsuite/gnat.dg/vect8.adb new file mode 100644 index 0000000..b13555a --- /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 0000000..5406c70 --- /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; -- cgit v1.1