[Bug bootstrap/51118] New: ICE when bootstrapping on Ubuntu 11.10/amd64 with stage1 checking enabled

[Bug bootstrap/51118] New: ICE when bootstrapping on Ubuntu 11.10/amd64 with stage1 checking enabled

[matt at use dot net]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51118

             Bug #: 51118
           Summary: ICE when bootstrapping on Ubuntu 11.10/amd64 with
                    stage1 checking enabled
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: bootstrap
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: matt@use.net


$ ../configure --enable-bootstrap --prefix=/home/matt --enable-languages=c,c++
--enable-stage1-checking=all
[...]
$ make
[...]

/home/matt/src/gcc-trunk/obj/./gcc/xgcc -B/home/matt/src/gcc-trunk/obj/./gcc/
-B/home/matt/x86_64-unknown-linux-gnu/bin/
-B/home/matt/x86_64-unknown-linux-gnu/lib/ -isystem
/home/matt/x86_64-unknown-linux-gnu/include -isystem
/home/matt/x86_64-unknown-linux-gnu/sys-include -g -O2 -m32 -O2 -g -O2 -DIN_GCC
-W -Wall -Wno-narrowing -Wwrite-strings -Wcast-qual -Wstrict-prototypes
-Wmissing-prototypes -Wold-style-definition -isystem ./include -fpic -g
-DIN_LIBGCC2 -fbuilding-libgcc -fno-stack-protector -fpic -I. -I.
-I../../.././gcc -I../../../../libgcc -I../../../../libgcc/.
-I../../../../libgcc/../gcc -I../../../../libgcc/../include
-I../../../../libgcc/config/libbid -DENABLE_DECIMAL_BID_FORMAT -DHAVE_CC_TLS
-DUSE_TLS -o _muldi3.o -MT _muldi3.o -MD -MP -MF _muldi3.dep -DL_muldi3 -c
../../../../libgcc/libgcc2.c -fvisibility=hidden -DHIDE_EXPORTS
../../../../libgcc/libgcc2.c: In function __muldi3:
../../../libgcc/libgcc2.c:553:3: internal compiler error: tree check: expected
tree that contains ‘typed’ structure, have ‘block’ in fold_checksum_tree, at
fold-const.c:14160


I get the same results when setting CC and CXX to be gcc-4.4 and g++-4.4
respectively (the default system compiler on Ubuntu 11.10 is 4.6.1-based).

Running the commandline that causes the ICE with -O1 also elicits the problem.
Setting BOOT_CFLAGS and CFLAGS to -O1 doesn't help matters.

[Bug bootstrap/51118] ICE when bootstrapping on Ubuntu 11.10/amd64 with stage1 checking enabled

[ubizjak at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51118

--- Comment #1 from Uros Bizjak <ubizjak at gmail dot com> 2011-11-14 23:18:29 UTC ---
Created attachment 25821
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25821
Preprocessed source.

Confirmed with attached source on x86_64

[uros@localhost libgcc]$ ~/gcc-build-fast/gcc/cc1 -quiet libgcc2.i
../../../../gcc-svn/trunk/libgcc/libgcc2.c: In function ‘__muldi3’:
../../../../gcc-svn/trunk/libgcc/libgcc2.c:553:3: internal compiler error: tree
check: expected tree that contains ‘typed’ structure, have ‘block’ in
fold_checksum_tree, at fold-const.c:14160
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Breakpoint 1, internal_error (
    gmsgid=0x4a3c698 "tree check: expected tree that contains %qs structure,
have %qs in %s, at %s:%d") at ../../gcc-svn/trunk/gcc/diagnostic.c:843
843      va_start (ap, gmsgid);
(gdb) bt
#0  internal_error (
    gmsgid=0x4a3c698 "tree check: expected tree that contains %qs structure,
have %qs in %s, at %s:%d") at ../../gcc-svn/trunk/gcc/diagnostic.c:843
#1  0x0000000002e5ff80 in tree_contains_struct_check_failed (
    node=0x7fffee551b40, en=TS_TYPED, 
    file=0x4839d90 "../../gcc-svn/trunk/gcc/fold-const.c", line=14160, 
    function=0x483ecf0 "fold_checksum_tree")
    at ../../gcc-svn/trunk/gcc/tree.c:8987
#2  0x0000000000fcf7dc in fold_checksum_tree (expr=0x7fffee551b40, 
    ctx=0x7fffffffc730, ht=0x602e740)
    at ../../gcc-svn/trunk/gcc/fold-const.c:14160
#3  0x0000000000fcff20 in fold_checksum_tree (expr=0x7ffff1b143f0, 
    ctx=0x7fffffffc730, ht=0x602e740)
    at ../../gcc-svn/trunk/gcc/fold-const.c:14213
#4  0x0000000000fcff20 in fold_checksum_tree (expr=0x7ffff1ae4100, 
    ctx=0x7fffffffc730, ht=0x602e740)
    at ../../gcc-svn/trunk/gcc/fold-const.c:14213
#5  0x0000000000fcefaa in fold (expr=0x7ffff1ae4100)
    at ../../gcc-svn/trunk/gcc/fold-const.c:14074
#6  0x0000000000602aac in c_fully_fold_internal (expr=0x7ffff1ae4100, 
    in_init=0 '\000', maybe_const_operands=0x7fffffffd30f "", 
    maybe_const_itself=0x7fffffffd26a "\001\001\377\177")
    at ../../gcc-svn/trunk/gcc/c-family/c-common.c:1152
#7  0x0000000000602555 in c_fully_fold (expr=0x7ffff1ae4100, in_init=0 '\000', 
    maybe_const=0x7fffffffd30f "")
    at ../../gcc-svn/trunk/gcc/c-family/c-common.c:1060
#8  0x000000000055531c in output_init_element (value=0x7ffff1ae4100, 
    origtype=0x0, strict_string=0 '\000', type=0x7ffff19a5738, 
    field=0x7fffeff514c0, pending=1, implicit=0 '\000', 
    braced_init_obstack=0x7fffffffdb70)
    at ../../gcc-svn/trunk/gcc/c-typeck.c:7817
#9  0x0000000000557dd2 in process_init_element (value=..., implicit=0 '\000', 
    braced_init_obstack=0x7fffffffdb70)
    at ../../gcc-svn/trunk/gcc/c-typeck.c:8356
#10 0x00000000005a8fae in c_parser_initval (parser=0x7ffff1aa3de8, after=0x0, 
    braced_init_obstack=0x7fffffffdb70)
    at ../../gcc-svn/trunk/gcc/c-parser.c:3995

[Bug bootstrap/51118] ICE when bootstrapping on Ubuntu 11.10/amd64 with stage1 checking enabled

[ubizjak at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51118

Uros Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-11-14
     Ever Confirmed|0                           |1

--- Comment #2 from Uros Bizjak <ubizjak at gmail dot com> 2011-11-14 23:21:11 UTC ---
gcc chokes when processing:

(gdb) f 5
#5  0x0000000000fcefaa in fold (expr=0x7ffff1ae4100)
    at ../../gcc-svn/trunk/gcc/fold-const.c:14074
14074      fold_checksum_tree (expr, &ctx, ht);
(gdb) p debug_generic_expr (expr)
TARGET_EXPR <D.5910, {
  union DWunion __w;

    union DWunion __w;
  __asm__("mul{l} %3":"=a" __w.s.low, "=d" __w.s.high:"%0" (unsigned int)
uu.s.low, "rm" (unsigned int) vv.s.low);
  D.5910 = __w.ll;
}>
$1 = void

[Bug tree-optimization/51118] [4.7 Regression] ICE: tree check: expected tree that contains ‘typed’ structure, have ‘block’ in fold_checksum_tree, at fold-const.c:14160

[ubizjak at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51118

Uros Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|bootstrap                   |tree-optimization
   Target Milestone|---                         |4.7.0
            Summary|ICE when bootstrapping on   |[4.7 Regression] ICE: tree
                   |Ubuntu 11.10/amd64 with     |check: expected tree that
                   |stage1 checking enabled     |contains ‘typed’ structure,
                   |                            |have ‘block’ in
                   |                            |fold_checksum_tree, at
                   |                            |fold-const.c:14160

--- Comment #3 from Uros Bizjak <ubizjak at gmail dot com> 2011-11-14 23:23:55 UTC ---
4.7 regression.

[Bug tree-optimization/51118] [4.7 Regression] ICE: tree check: expected tree that contains ‘typed’ structure, have ‘block’ in fold_checksum_tree, at fold-const.c:14160

[ubizjak at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51118

Uros Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |ubizjak at gmail dot com
                   |gnu.org                     |

--- Comment #4 from Uros Bizjak <ubizjak at gmail dot com> 2011-11-17 17:21:29 UTC ---
The patch:

--cut here--
Index: fold-const.c
===================================================================
--- fold-const.c    (revision 181443)
+++ fold-const.c    (working copy)
@@ -14157,7 +14157,8 @@
     }
     }
   md5_process_bytes (expr, tree_size (expr), ctx);
-  fold_checksum_tree (TREE_TYPE (expr), ctx, ht);
+  if (TREE_CODE_CLASS (code) == tcc_type)
+    fold_checksum_tree (TREE_TYPE (expr), ctx, ht);
   if (TREE_CODE_CLASS (code) != tcc_type
       && TREE_CODE_CLASS (code) != tcc_declaration
       && code != TREE_LIST
--cut here--

[Bug tree-optimization/51118] [4.7 Regression] ICE: tree check: expected tree that contains ‘typed’ structure, have ‘block’ in fold_checksum_tree, at fold-const.c:14160

[ubizjak at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51118

--- Comment #5 from Uros Bizjak <ubizjak at gmail dot com> 2011-11-17 17:50:44 UTC ---
Better patch:

--cut here--
Index: fold-const.c
===================================================================
--- fold-const.c    (revision 181443)
+++ fold-const.c    (working copy)
@@ -14157,7 +14157,8 @@
     }
     }
   md5_process_bytes (expr, tree_size (expr), ctx);
-  fold_checksum_tree (TREE_TYPE (expr), ctx, ht);
+  if (CODE_CONTAINS_STRUCT (code, TS_TYPED))
+    fold_checksum_tree (TREE_TYPE (expr), ctx, ht);
   if (TREE_CODE_CLASS (code) != tcc_type
       && TREE_CODE_CLASS (code) != tcc_declaration
       && code != TREE_LIST
--cut here--

[Bug tree-optimization/51118] [4.7 Regression] ICE: tree check: expected tree that contains ‘typed’ structure, have ‘block’ in fold_checksum_tree, at fold-const.c:14160

[uros at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51118

--- Comment #6 from uros at gcc dot gnu.org 2011-11-18 09:54:07 UTC ---
Author: uros
Date: Fri Nov 18 09:54:02 2011
New Revision: 181468

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=181468
Log:
    PR tree-optimization/51118
    * fold-const.c (fold_checksum_tree): Check for TS_TYPED structure
    before using TREE_TYPE accessor on expr.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c

[Bug tree-optimization/51118] [4.7 Regression] ICE: tree check: expected tree that contains ‘typed’ structure, have ‘block’ in fold_checksum_tree, at fold-const.c:14160

[ubizjak at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51118

Uros Bizjak <ubizjak at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|x86                         |
             Status|ASSIGNED                    |RESOLVED
                URL|                            |http://gcc.gnu.org/ml/gcc-p
                   |                            |atches/2011-11/msg01844.htm
                   |                            |l
         Resolution|                            |FIXED

--- Comment #7 from Uros Bizjak <ubizjak at gmail dot com> 2011-11-18 09:57:19 UTC ---
Fixed for 4.7.

[Bug tree-optimization/51118] [4.7 Regression] ICE: tree check: expected tree that contains ‘typed’ structure, have ‘block’ in fold_checksum_tree, at fold-const.c:14160

[pinskia at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51118

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |d.g.gorbachev at gmail dot
                   |                            |com

--- Comment #8 from Andrew Pinski <pinskia at gcc dot gnu.org> 2012-02-03 02:44:10 UTC ---
*** Bug 50706 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/51118] [4.7 Regression] ICE: tree check: expected tree that contains ‘typed’ structure, have ‘block’ in fold_checksum_tree, at fold-const.c:14160

[uros at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51118

--- Comment #9 from uros at gcc dot gnu.org 2012-02-03 07:29:41 UTC ---
Author: uros
Date: Fri Feb  3 07:29:31 2012
New Revision: 183864

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=183864
Log:
    Backport from mainline:
    2011-11-18  Uros Bizjak  <ubizjak@gmail.com>

    PR tree-optimization/51118
    * fold-const.c (fold_checksum_tree): Check for TS_TYPED structure
    before using TREE_TYPE accessor on expr.


Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/fold-const.c

[Bug tree-optimization/51118] [4.7 Regression] ICE: tree check: expected tree that contains ‘typed’ structure, have ‘block’ in fold_checksum_tree, at fold-const.c:14160

[uros at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51118

--- Comment #10 from uros at gcc dot gnu.org 2012-02-27 11:19:12 UTC ---
Author: uros
Date: Mon Feb 27 11:19:03 2012
New Revision: 184595

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=184595
Log:
    Revert:
    2012-02-02  Uros Bizjak  <ubizjak@gmail.com>

    Backport from mainline:
    2011-11-18  Uros Bizjak  <ubizjak@gmail.com>

    PR tree-optimization/51118
    * fold-const.c (fold_checksum_tree): Check for TS_TYPED structure
    before using TREE_TYPE accessor on expr.


Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/fold-const.c