re PR tree-optimization/55355 (internal compiler error: in tree_low_cst, at tree...

2012-12-21  Martin Jambor  <mjambor@suse.cz>

	PR tree-optimization/55355
	* tree-sra.c (type_internals_preclude_sra_p): Also check that
	bit_position is small enough to fit a single HOST_WIDE_INT.

	* testsuite/g++.dg/torture/pr55355.C: New test.

From-SVN: r194682

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 21af1477892192dc4d8d43dffd25ea901b4d4049..8bc25edd86c4cb481cd3a2d2dcf32ab2c5ed13ce 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2012-12-21  Martin Jambor  <mjambor@suse.cz>
+
+       PR tree-optimization/55355
+       * tree-sra.c (type_internals_preclude_sra_p): Also check that
+       bit_position is small enough to fit a single HOST_WIDE_INT.
+
 2012-12-21  Eric Botcazou  <ebotcazou@adacore.com>
 
        * rtlanal.c (volatile_insn_p): Delete commented out code.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cfbece022a915c4d535b68e227dfa1fba55115bd..3fa83c217a9a662d24af96b0f8c05c88ed282a2b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2012-12-21  Martin Jambor  <mjambor@suse.cz>
+
+       PR tree-optimization/55355
+       * g++.dg/torture/pr55355.C: New test.
+
 2012-12-21  Vladimir Makarov  <vmakarov@redhat.com>
 
        PR middle-end/55775

diff --git a/gcc/testsuite/g++.dg/torture/pr55355.C b/gcc/testsuite/g++.dg/torture/pr55355.C
new file mode 100644 (file)
index 0000000..6d8f8b6
--- /dev/null
+++ b/gcc/testsuite/g++.dg/torture/pr55355.C
@@ -0,0 +1,23 @@
+/* { dg-do compile } */
+
+struct A
+{
+    void funcA(void);
+};
+
+struct B {};
+
+struct C
+{
+    void funcC(void) { a_mp->funcA(); }
+
+    char buf_ma[268435456];
+    A   *a_mp;
+    B    b_m;
+};
+
+void
+func(C *c_p)
+{
+    c_p->funcC();
+}

diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c
index 21d8a5141178557dc462687e18c424d58899dd0a..286ef266920ed768411e8646041557dc52ec1009 100644 (file)
--- a/gcc/tree-sra.c
+++ b/gcc/tree-sra.c
@@ -714,7 +714,12 @@ type_internals_preclude_sra_p (tree type, const char **msg)
              {
                *msg = "structure field size not fixed";
                return true;
-             }       
+             }
+           if (!host_integerp (bit_position (fld), 0))
+             {
+               *msg = "structure field size too big";
+               return true;
+             }
            if (AGGREGATE_TYPE_P (ft)
                    && int_bit_position (fld) % BITS_PER_UNIT != 0)
              {