re PR tree-optimization/46801 (FAIL: gnat.dg/pack9.adb scan-tree-dump-not optimized "gnat_rcheck")

2011-01-03  Martin Jambor  <mjambor@suse.cz>

	PR tree-optimization/46801
	* tree-sra.c (type_internals_preclude_sra_p): Check whether
	aggregate fields start at byte boundary instead of the bit-field flag.

	* testsuite/gnat.dg/pack9.adb: Remove xfail.

From-SVN: r168431

gcc/ChangeLog

+2011-01-03  Martin Jambor  <mjambor@suse.cz>
+
+	PR tree-optimization/46801
+	* tree-sra.c (type_internals_preclude_sra_p): Check whether
+	aggregate fields start at byte boundary instead of the bit-field flag.
+
 2011-01-03  H.J. Lu  <hongjiu.lu@intel.com>
 
 	PR driver/47137

gcc/testsuite/ChangeLog

 2011-01-03  Martin Jambor  <mjambor@suse.cz>
 
+	PR tree-optimization/46801
+	* gnat.dg/pack9.adb: Remove xfail.
+
+2011-01-03  Martin Jambor  <mjambor@suse.cz>
+
 	PR tree-optimization/46984
 	* g++.dg/ipa/pr46984.C: New test.
 

gcc/testsuite/gnat.dg/pack9.adb

@@ -15,5 +15,5 @@ package body Pack9 is
 
 end Pack9;
 
--- { dg-final { scan-tree-dump-not "gnat_rcheck" "optimized" { xfail *-*-* } } }
+-- { dg-final { scan-tree-dump-not "gnat_rcheck" "optimized" } }
 -- { dg-final { cleanup-tree-dump "optimized" } }

gcc/tree-sra.c

@@ -653,7 +653,8 @@ type_internals_preclude_sra_p (tree type)
 		|| !DECL_FIELD_OFFSET (fld) || !DECL_SIZE (fld)
 		|| !host_integerp (DECL_FIELD_OFFSET (fld), 1)
 		|| !host_integerp (DECL_SIZE (fld), 1)
-		|| (DECL_BIT_FIELD (fld) && AGGREGATE_TYPE_P (ft)))
+		|| (AGGREGATE_TYPE_P (ft)
+		    && int_bit_position (fld) % BITS_PER_UNIT != 0))
 	      return true;
 
 	    if (AGGREGATE_TYPE_P (ft)