re PR tree-optimization/33655 (ICE in bitfield_overlaps_p, at tree-sra.c:2901)

gcc/ChangeLog:
PR tree-optimization/33655
* tree-sra.c (bitfield_overlaps_p): Handle array and complex
elements.
gcc/testsuite/ChangeLog:
PR tree-optimization/33655
* gcc.dg/torture/pr33655.c: New.

From-SVN: r129052

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index db4e33e8873e1ea912c5793ac19da2abf28bf1de..4534268ebd633b22c3d71c665606b09aa2cc8f3d 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2007-10-06  Alexandre Oliva  <aoliva@redhat.com>
+
+       PR tree-optimization/33655
+       * tree-sra.c (bitfield_overlaps_p): Handle array and complex
+       elements.
+
 2007-10-06  Alexandre Oliva  <aoliva@redhat.com>
 
        PR tree-optimization/33572

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5ce628947e585383e32fedaaf491bf387501d58f..70326245c7075ec345276c71eb44881dc33b5b5c 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2007-10-06  Alexandre Oliva  <aoliva@redhat.com>
+
+       PR tree-optimization/33655
+       * gcc.dg/torture/pr33655.c: New.
+
 2007-10-06  Alexandre Oliva  <aoliva@redhat.com>
 
        PR tree-optimization/33572

diff --git a/gcc/testsuite/gcc.dg/torture/pr33655.c b/gcc/testsuite/gcc.dg/torture/pr33655.c
new file mode 100644 (file)
index 0000000..2f9da65
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr33655.c
@@ -0,0 +1,14 @@
+/* { dg-do compile } */
+typedef struct {
+    unsigned long attr;
+    int chars[2];
+} cchar_t;
+typedef struct _win_st {
+    cchar_t _bkgrnd;
+} WINDOW;
+void render_char(WINDOW *win, cchar_t ch)
+{
+    if ((ch).chars[0] == L' '
+        && (ch).chars[1] == L'\0')
+        win->_bkgrnd = ch;
+}

diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c
index ff7a52c1a76c871d71aba6dbbb4bfff05f0f1261..764f70b0631695252e2cfb0aea0d99bbc713c369 100644 (file)
--- a/gcc/tree-sra.c
+++ b/gcc/tree-sra.c
@@ -2897,6 +2897,11 @@ bitfield_overlaps_p (tree blen, tree bpos, struct sra_elt *fld,
       flen = fold_convert (bitsizetype, TREE_OPERAND (fld->element, 1));
       fpos = fold_convert (bitsizetype, TREE_OPERAND (fld->element, 2));
     }
+  else if (TREE_CODE (fld->element) == INTEGER_CST)
+    {
+      flen = fold_convert (bitsizetype, TYPE_SIZE (fld->type));
+      fpos = size_binop (MULT_EXPR, flen, fld->element);
+    }
   else
     gcc_unreachable ();