tree-sra.c (decide_block_copy): Decide if there are groups.

	* tree-sra.c (decide_block_copy): Decide if there are groups.

From-SVN: r128602

gcc/ChangeLog

+2007-09-19  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* tree-sra.c (decide_block_copy): Decide if there are groups.
+
 2007-09-19  Roman Zippel <zippel@linux-m68k.org>
 
 	* config/m68k/m68k.c (output_move_himode): Remove jump table

gcc/testsuite/ChangeLog

+2007-09-19  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gnat.dg/slice2.ad[sb]: New testcase.
+
 2007-09-19  Nick Clifton  <nickc@redhat.com>
 
 	* gcc.dg/cpp/assert4.c: Fix expected h8300 preprocessor define.

gcc/testsuite/gnat.dg/slice2.adb

+-- { dg-do compile }
+-- { dg-options "-O" }
+
+package body Slice2 is
+
+  function F (I : R1) return R2 is
+    Val : R2;
+  begin
+    Val.Text (1 .. 8) := I.Text (1 .. 8);
+    return Val;
+  end F;
+
+end Slice2;

gcc/testsuite/gnat.dg/slice2.ads

+package Slice2 is
+
+  type R1 is record
+    Text : String (1 .. 30);
+  end record;
+
+  type R2 is record
+    Text : String (1 .. 8);
+    B : Boolean := True;
+  end record;
+
+  function F (I : R1) return R2;
+
+end Slice2;

gcc/tree-sra.c

@@ -1491,8 +1491,8 @@ decide_block_copy (struct sra_elt *elt)
       return false;
     }
 
-  /* Don't decide if we've no uses.  */
-  if (elt->n_uses == 0 && elt->n_copies == 0)
+  /* Don't decide if we've no uses and no groups.  */
+  if (elt->n_uses == 0 && elt->n_copies == 0 && elt->groups == NULL)
     ;
 
   else if (!elt->is_scalar)