[Bug c++/47746] New: [trans-mem] invalid conversion in gimple call, ICE verify_stmts failed

[Bug c++/47746] New: [trans-mem] invalid conversion in gimple call, ICE verify_stmts failed

[patrick.marlier at gmail dot com]

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

           Summary: [trans-mem] invalid conversion in gimple call, ICE
                    verify_stmts failed
           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 23347
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23347
testcase with O0

GCC raises an ICE into verify_stmts.
Attached a reduced testcase.

Thanks
Patrick Marlier

$ g++ -fgnu-tm -S -O0 invalid_conversion.i 
invalid_conversion.i: In member function ‘void Building::load(InputStream*)’:
invalid_conversion.i:24:1: error: invalid conversion in gimple call
unsigned int

int

D.2242_4 = D.2249_9 (stream_1(D));

invalid_conversion.i:24:1: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

[Bug c++/47746] [trans-mem] invalid conversion in gimple call, ICE verify_stmts failed

[aldyh at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2011.02.21 22:42:35
     Ever Confirmed|0                           |1

--- Comment #1 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2011-02-21 22:42:35 UTC ---
Waiting approval:
http://gcc.gnu.org/ml/gcc-patches/2011-02/msg01384.html

[Bug c++/47746] [trans-mem] invalid conversion in gimple call, ICE verify_stmts failed

[aldyh at gcc dot gnu.org]

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

--- Comment #2 from Aldy Hernandez <aldyh at gcc dot gnu.org> 2011-02-21 22:49:36 UTC ---
Author: aldyh
Date: Mon Feb 21 22:49:34 2011
New Revision: 170377

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=170377
Log:
        PR 47746
        * trans-mem.c (ipa_tm_insert_gettmclone_call): Verify type
        compatibility in call.


Added:
    branches/transactional-memory/gcc/testsuite/g++.dg/tm/pr47746.C
Modified:
    branches/transactional-memory/gcc/ChangeLog.tm
    branches/transactional-memory/gcc/trans-mem.c

[Bug c++/47746] [trans-mem] invalid conversion in gimple call, ICE verify_stmts failed

[aldyh at gcc dot gnu.org]

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

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

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