http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47690
Summary: [trans-mem] ICE in verify_cgraph_node with O0 Product: gcc Version: trans-mem Status: UNCONFIRMED Severity: normal Priority: P3 Component: c AssignedTo: unassig...@gcc.gnu.org ReportedBy: patrick.marl...@gmail.com CC: r...@gcc.gnu.org, al...@gcc.gnu.org Created attachment 23305 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23305 testcase that raises the problem with O0 GCC raises an ICE in verify_cgraph_node with O0. $ gcc -O0 -S -fgnu-tm testcase.i testcase.i:14:1: error: edge points to wrong declaration: <function_decl 0x7f4c52291300 NewQueueNode type <function_type 0x7f4c52242150 type <void_type 0x7f4c52340e70 void VOID align 8 symtab 0 alias set -1 canonical type 0x7f4c52340e70 pointer_to_this <pointer_type 0x7f4c52340f18>> QI size <integer_cst 0x7f4c5232e730 constant 8> unit size <integer_cst 0x7f4c5232e758 constant 1> align 8 symtab 0 alias set -1 canonical type 0x7f4c5235ff18 pointer_to_this <pointer_type 0x7f4c522421f8>> addressable public static tm-clone decl_5 QI file testcase.i line 7 col 6 align 8 initial <block 0x7f4c52247160> abstract_origin <function_decl 0x7f4c52244000 NewQueueNode> result <result_decl 0x7f4c52245180 D.2897 type <void_type 0x7f4c52340e70 void> used ignored VOID file testcase.i line 7 col 6 align 8 context <function_decl 0x7f4c52291300 NewQueueNode> abstract_origin <result_decl 0x7f4c52245000 D.1705>> struct-function 0x7f4c5241e720> Instead of: <function_decl 0x7f4c52244000 NewQueueNode type <function_type 0x7f4c52242150 type <void_type 0x7f4c52340e70 void VOID align 8 symtab 0 alias set -1 canonical type 0x7f4c52340e70 pointer_to_this <pointer_type 0x7f4c52340f18>> QI size <integer_cst 0x7f4c5232e730 constant 8> unit size <integer_cst 0x7f4c5232e758 constant 1> align 8 symtab 0 alias set -1 canonical type 0x7f4c5235ff18 pointer_to_this <pointer_type 0x7f4c522421f8>> addressable public static decl_5 QI file testcase.i line 7 col 6 align 8 initial <block 0x7f4c52247000> result <result_decl 0x7f4c52245000 D.1705 type <void_type 0x7f4c52340e70 void> ignored VOID file testcase.i line 7 col 6 align 8 context <function_decl 0x7f4c52244000 NewQueueNode>> (mem:QI (symbol_ref:DI ("NewQueueNode") [flags 0x3] <function_decl 0x7f4c52244000 NewQueueNode>) [0 S1 A8]) struct-function 0x7f4c5241e688> NewQueueNode/2(-1) @0x7f4c52339750 availability:available 62 time, 10 benefit 14 size, 1 benefit needed reachable body externally_visible finalized called by: NewQueueNode/2 (1.00 per call) calls: __builtin__ITM_commitTransaction/1 (1.00 per call) NewQueueNode/2 (1.00 per call) testcase.i:14:1: internal compiler error: verify_cgraph_node failed Please submit a full bug report, with preprocessed source if appropriate. See <http://gcc.gnu.org/bugs.html> for instructions.