[Bug c++/46270] New: [trans-mem] internal compiler error: verify_stmts failed

[patrick.marlier at gmail dot com]

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

           Summary: [trans-mem] internal compiler error: verify_stmts
                    failed
           Product: gcc
           Version: unknown
            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


Hello,

It seems that a throw exeception in a relaxed transaction raises an error.

$ g++ -o Game.o -c -Wall -fgnu-tm Game.cpp
Game.cpp: In function void* buildProjectSyncStepConcurrently(int, int):
Game.cpp:14:14: error: statement marked for throw in middle of block
D.8218 = std::list<std::_List_iterator<Game::BuildProject> >::begin
(&erasableBuildProjects); [in atomic]

Game.cpp:14:14: 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.
make: *** [all] Error 1

here a small testcase:

#include <list>
class Game
{
public:
        struct BuildProject
        {
                int posX;
        };
        std::list<BuildProject> buildProjects;
};
static Game game;
static std::list<std::list<Game::BuildProject>::iterator>
erasableBuildProjects;

static void *buildProjectSyncStepConcurrently(int id, int localTeam)
{
        __transaction [[relaxed]] {
                std::list<std::list<Game::BuildProject>::iterator>::iterator it
= erasableBuildProjects.begin();
                game.buildProjects.erase( (std::list<Game::BuildProject> 
::iterator) *it);
        }
        return 0;

}

Thanks.

Patrick Marlier.