[Bug c/47690] New: [trans-mem] ICE in verify_cgraph_node with O0

[Bug c/47690] New: [trans-mem] ICE in verify_cgraph_node with O0

[patrick.marlier at gmail dot com]

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: unassigned@gcc.gnu.org
        ReportedBy: patrick.marlier@gmail.com
                CC: rth@gcc.gnu.org, aldyh@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.

[Bug c/47690] [trans-mem] ICE in verify_cgraph_node with O0

[aldyh at gcc dot gnu.org]

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

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2011.02.15 15:32:33
     Ever Confirmed|0                           |1

--- Comment #1 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2011-02-15 15:32:33 UTC ---
Pending approval:
http://gcc.gnu.org/ml/gcc-patches/2011-02/msg00963.html

[Bug c/47690] [trans-mem] ICE in verify_cgraph_node with O0

[aldyh at gcc dot gnu.org]

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

--- Comment #2 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2011-02-16 15:21:49 UTC ---
*** Bug 47689 has been marked as a duplicate of this bug. ***

[Bug c/47690] [trans-mem] ICE in verify_cgraph_node with O0

[aldyh at gcc dot gnu.org]

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

--- Comment #3 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2011-02-16 16:23:33 UTC ---
Author: aldyh
Date: Wed Feb 16 16:23:28 2011
New Revision: 170213

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170213
Log:
        PR 47690
        * trans-mem.c (ipa_tm_execute): Do not scan past exit blocks when
        accumulating BB's.
        (is_tm_ending_fndecl): Remove static.
        * tree-cfg.c (is_ctrl_altering_stmt): Add TM ending statements.
        * tree.h (is_tm_ending_fndecl): New prototype.


Added:
    branches/transactional-memory/gcc/testsuite/gcc.dg/tm/pr47690.c
Modified:
    branches/transactional-memory/gcc/ChangeLog.tm
    branches/transactional-memory/gcc/trans-mem.c
    branches/transactional-memory/gcc/tree-cfg.c
    branches/transactional-memory/gcc/tree.h

[Bug c/47690] [trans-mem] ICE in verify_cgraph_node with O0

[aldyh at gcc dot gnu.org]

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

Aldy Hernandez <aldyh at gcc dot gnu.org> changed:

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