* tree-sra.c (build_ref_for_offset): Strip useless type conversions

	from the address built for a reference with variable offset.


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

2 files changed, 29 insertions, 0 deletions

diff --git a/gcc/testsuite/gnat.dg/array15.adb b/gcc/testsuite/gnat.dg/array15.adb
new file mode 100644
index 00000000000..eb51f37c5ae
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/array15.adb
@@ -0,0 +1,24 @@
+-- { dg-do compile }
+-- { dg-options "-O -gnatws" }
+
+package body Array15 is
+
+   type Arr is array (Natural range <>) of Integer;
+
+   Table : Arr (1 .. 4);
+
+   N : Natural := 1;
+
+   procedure Zero is
+   begin
+      N := 0;
+   end;
+
+   function F (I : Integer) return Integer is
+      A1 : Arr := (1 => I);
+      A2 : Arr := Table (1 .. N) & A1;
+   begin
+      return A2 (I);
+   end;
+
+end Array15;
diff --git a/gcc/testsuite/gnat.dg/array15.ads b/gcc/testsuite/gnat.dg/array15.ads
new file mode 100644
index 00000000000..c5c2087a62f
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/array15.ads
@@ -0,0 +1,5 @@
+package Array15 is
+
+   function F (I : Integer) return Integer;
+
+end Array15;