[Bug lto/51992] New: internal compiler error: tree code ‘target_expr’ is not supported in LTO streams

[Bug lto/51992] New: internal compiler error: tree code ‘target_expr’ is not supported in LTO streams

[marbacz at gmail dot com]

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

             Bug #: 51992
           Summary: internal compiler error: tree code ‘target_expr’ is
                    not supported in LTO streams
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: major
          Priority: P3
         Component: lto
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: marbacz@gmail.com


Created attachment 26456
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26456
Reduced test case.

Using GCC from SVN (183488) I get an ICE while compiling kdelibs with -flto:

~ # g++ -flto -c ksharedconfig.cpp
ksharedconfig.cpp:50:1: internal compiler error: tree code ‘target_expr’ is not
supported in LTO streams
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


~ # gcc -v
Using built-in specs.
COLLECT_GCC=/usr/x86_64-pc-linux-gnu/gcc-bin/4.7.0-svn-183488-20120124/gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-pc-linux-gnu/4.7.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../gcc-trunk/configure --prefix=/usr
--bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/4.7.0-svn-183488-20120124
--includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/4.7.0-svn-183488-20120124/include
--datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.7.0-svn-183488-20120124
--mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.7.0-svn-183488-20120124/man
--infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/4.7.0-svn-183488-20120124/info
--with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/4.7.0-svn-183488-20120124/include/g++-v4
--host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --disable-altivec
--disable-fixed-point --with-ppl --with-cloog --disable-ppl-version-check
--with-cloog-include=/usr/include/cloog-ppl --enable-lto --enable-nls
--without-included-gettext --with-system-zlib --disable-werror
--enable-secureplt --disable-multilib --enable-libmudflap --enable-libssp
--enable-libgomp
--with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/4.7.0-svn-183488-20120124/python
--enable-checking=assert,fold,gc,misc,rtlflag,runtime,tree --disable-libgcj
--disable-libquadmath --enable-languages=c,c++ --enable-shared
--enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu
--enable-targets=all --with-pkgversion='svn 183488-20120124'
--enable-build-with-cxx
Thread model: posix
gcc version 4.7.0 20120124 (experimental) (svn 183488-20120124)

[Bug c++/51992] [4.7 Regression] internal compiler error: tree code ‘target_expr’ is not supported in LTO streams

[rguenth at gcc dot gnu.org]

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

Richard Guenther <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |lto
   Last reconfirmed|                            |2012-01-25
          Component|lto                         |c++
                 CC|                            |jason at gcc dot gnu.org,
                   |                            |rguenth at gcc dot gnu.org
     Ever Confirmed|0                           |1
            Summary|internal compiler error:    |[4.7 Regression] internal
                   |tree code ‘target_expr’ is  |compiler error: tree code
                   |not supported in LTO        |‘target_expr’ is not
                   |streams                     |supported in LTO streams
   Target Milestone|---                         |4.7.0

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-01-25 10:27:01 UTC ---
Confirmed.  Happens when we stream a function type:

 <function_type 0x7ffff5ba19d8
    type <record_type 0x7ffff5ba1540 Ptr type_5 QI
        size <integer_cst 0x7ffff5a39120 constant 8>
        unit size <integer_cst 0x7ffff5a39140 constant 1>
        align 8 symtab 0 alias set -1 canonical type 0x7ffff5ba1498
        fields <type_decl 0x7ffff5b9eda8 KSharedPtr type <record_type
0x7ffff5ba6f18 KSharedPtr>
            external nonlocal suppress-debug decl_4 VOID file t.ii line 20 col
18
            align 8 context <record_type 0x7ffff5ba1498 KSharedPtr> result
<record_type 0x7ffff5ba1498 KSharedPtr>
           >
        full-name "KSharedConfig::Ptr"
        X() X(constX&) this=(X&) n_parents=0 use_template=1 interface-unknown
        pointer_to_this <pointer_type 0x7ffff5ba9a80> chain <type_decl
0x7ffff5b9e8a0 KSharedPtr>>
    QI size <integer_cst 0x7ffff5a39120 8> unit size <integer_cst
0x7ffff5a39140 1>
    align 8 symtab 0 alias set -1 canonical type 0x7ffff5ba1a80
    arg-types <tree_list 0x7ffff5ba40c8
        value <reference_type 0x7ffff5ba1930 type <record_type 0x7ffff5ba1888
KComponentData>
            unsigned DI
            size <integer_cst 0x7ffff5a1df60 constant 64>
            unit size <integer_cst 0x7ffff5a1df80 constant 8>
            align 64 symtab 0 alias set -1 canonical type 0x7ffff5ba1930>
        chain <tree_list 0x7ffff5ba40f0
            purpose <target_expr 0x7ffff5b7d7c0 type <record_type
0x7ffff5b8b930 QString>
                side-effects arg 0 <var_decl 0x7ffff5a29280 D.2247>
                arg 1 <constructor 0x7ffff5b94cc0 type <record_type
0x7ffff5b8b930 QString>
                    constant lngt 0>> value <reference_type 0x7ffff5ba1690>>>
    pointer_to_this <pointer_type 0x7ffff5ba93f0>>

The 2nd argument type has TREE_PURPOSE set.

Jason, any idea where that comes from?  Do we forget to clear it during
template instantiation somehow?

Works on the 4.6 branch.

[Bug c++/51992] [4.7 Regression] internal compiler error: tree code ‘target_expr’ is not supported in LTO streams

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

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

[Bug c++/51992] [4.7 Regression] internal compiler error: tree code ‘target_expr’ is not supported in LTO streams

[jason at gcc dot gnu.org]

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

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2012-01-25 17:16:39 UTC ---
Author: jason
Date: Wed Jan 25 17:16:28 2012
New Revision: 183527

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=183527
Log:
    PR c++/51992
    * tree.c (find_decls_types_in_node): Walk gimple_call_fntype.

Added:
    trunk/gcc/testsuite/g++.dg/lto/pr51992_0.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree.c

[Bug c++/51992] [4.7 Regression] internal compiler error: tree code ‘target_expr’ is not supported in LTO streams

[jason at gcc dot gnu.org]

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

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

--- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> 2012-01-25 17:23:51 UTC ---
Fixed.