[Bug middle-end/55797] New: [4.8 Regression] ICE: verify_cgraph_node failed: edge has no corresponding call_stmt

[zsojka at seznam dot cz]

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



             Bug #: 55797

           Summary: [4.8 Regression] ICE: verify_cgraph_node failed: edge

                    has no corresponding call_stmt

    Classification: Unclassified

           Product: gcc

           Version: 4.8.0

            Status: UNCONFIRMED

          Severity: normal

          Priority: P3

         Component: middle-end

        AssignedTo: unassig...@gcc.gnu.org

        ReportedBy: zso...@seznam.cz





Created attachment 29034

  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29034

reduced testcase



Compiler output:

$ gcc -O -fno-guess-branch-probability -fno-tree-forwprop

--param=early-inlining-insns=176 testcase.C 

testcase.C: In destructor 'intrusive_ptr<T>::~intrusive_ptr() [with T =

file_info]':

testcase.C:15:8: error: edge intrusive_ptr<T>::~intrusive_ptr() [with T =

file_info]->intrusive_ptr<T>::~intrusive_ptr() [with T = file_info] has no

corresponding call_stmt

 struct file_info

        ^

# .MEM = VDEF <.MEM>

intrusive_ptr<file_info>::~intrusive_ptr (.MEM_6);



_ZN13intrusive_ptrI9file_infoED2Ev/594 (intrusive_ptr<T>::~intrusive_ptr()

[with T = file_info]) @0x7f1266fe5000

  Type: function

  Visibility: weak artificial

  References: __gxx_personality_v0/13 (addr)

  Referring: 

  Function intrusive_ptr<T>::~intrusive_ptr() [with T = file_info]/594 is

inline copy in intrusive_ptr<T>::~intrusive_ptr() [with T = file_info]/5

  Clone of _ZN13intrusive_ptrI9file_infoED2Ev/600

  Availability: local

  Function flags: analyzed body local finalized

  Called by: _ZN13intrusive_ptrI9file_infoED2Ev/5 (1.00 per call) (inlined)

(can throw external) 

  Calls: _ZN13intrusive_ptrI9file_infoED2Ev/600 (inlined) (1.00 per call) (can

throw external) _ZdlPv/14 (1.00 per call)

_ZN13intrusive_ptrI9file_infoED2Ev/598 (inlined) (1.00 per call) (can throw

external) _ZdlPv/14 (1.00 per call) _ZN12section_infoD2Ev/595 (inlined) (1.00

per call) 

testcase.C:15:8: internal compiler error: verify_cgraph_node failed

0x861a9a verify_cgraph_node(cgraph_node*)

        /mnt/svn/gcc-trunk/gcc/cgraph.c:2586

0xc27d36 expand_call_inline

        /mnt/svn/gcc-trunk/gcc/tree-inline.c:3878

0xc27d36 gimple_expand_calls_inline

        /mnt/svn/gcc-trunk/gcc/tree-inline.c:4147

0xc27d36 optimize_inline_calls(tree_node*)

        /mnt/svn/gcc-trunk/gcc/tree-inline.c:4301

0x12ce0e6 inline_transform(cgraph_node*)

        /mnt/svn/gcc-trunk/gcc/ipa-inline-transform.c:418

0xae4597 execute_one_ipa_transform_pass

        /mnt/svn/gcc-trunk/gcc/passes.c:2177

0xae4597 execute_all_ipa_transforms()

        /mnt/svn/gcc-trunk/gcc/passes.c:2213

0x866378 expand_function

        /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1634

0x868156 expand_all_functions

        /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1745

0x868156 compile()

        /mnt/svn/gcc-trunk/gcc/cgraphunit.c:2043

0x8687f9 finalize_compilation_unit()

        /mnt/svn/gcc-trunk/gcc/cgraphunit.c:2120

0x67eaee cp_write_global_declarations()

        /mnt/svn/gcc-trunk/gcc/cp/decl2.c:4291

Please submit a full bug report,

with preprocessed source if appropriate.

Please include the complete backtrace with any bug report.

See <http://gcc.gnu.org/bugs.html> for instructions.



$ /mnt/svn/gcc-trunk/binary-latest/bin/gcc -v

Using built-in specs.

COLLECT_GCC=/mnt/svn/gcc-trunk/binary-latest/bin/gcc

COLLECT_LTO_WRAPPER=/mnt/svn/gcc-trunk/binary-194694-lto-fortran-checking-yes-rtl-df/libexec/gcc/x86_64-unknown-linux-gnu/4.8.0/lto-wrapper

Target: x86_64-unknown-linux-gnu

Configured with: /mnt/svn/gcc-trunk//configure --enable-checking=yes,rtl,df

--enable-languages=c,c++,lto,fortran

--prefix=/mnt/svn/gcc-trunk/binary-194694-lto-fortran-checking-yes-rtl-df/

--without-cloog --without-ppl

Thread model: posix

gcc version 4.8.0 20121222 (experimental) (GCC) 



Tested revisions:

r194694 - crash

4.7 r191640 - OK