[Bug libitm/61594] New: ICE (assertion failure) in trans-mem.c

["hammacher at cs dot uni-saarland.de" <gcc-bugzilla at gcc dot gnu dot org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61594

            Bug ID: 61594
           Summary: ICE (assertion failure) in trans-mem.c
           Product: gcc
           Version: 4.10.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: libitm
          Assignee: unassigned at gcc dot gnu.org
          Reporter: hammacher at cs dot uni-saarland.de

Created attachment 32998
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=32998&action=edit
preprocessed code triggering the bug

I am triggering a bug in the transactional memory instrumentation.

In trans-mem.c:1518 (originally line 1515, I added three lines to hack around
this bug), the following check fails:
> gcc_assert (TREE_CODE (x) == VAR_DECL);

because TREE_CODE(x) is STRING_CST.

$ g++-git -v -save-temps -O3 -std=c++11 -fgnu-tm -c indexer.cpp
Using built-in specs.
COLLECT_GCC=g++-git
Target: x86_64-unknown-linux-gnu
Configured with: /usr/src/gcc/configure --prefix=/opt/gcc-git
--program-suffix=git --disable-multilib : (reconfigured) /usr/src/gcc/configure
--prefix=/opt/gcc-git --program-suffix=-git --disable-multilib
Thread model: posix
gcc version 4.10.0 20140622 (experimental) (GCC)
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-O3' '-std=c++11' '-fgnu-tm' '-c'
'-shared-libgcc' '-mtune=generic' '-march=x86-64' '-pthread'
 /opt/gcc-git/libexec/gcc/x86_64-unknown-linux-gnu/4.10.0/cc1plus -E -quiet -v
-D_GNU_SOURCE -D_REENTRANT indexer.cpp -mtune=generic -march=x86-64 -std=c++11
-fgnu-tm -O3 -fpch-preprocess -o indexer.ii
ignoring nonexistent directory "/usr/local/include"
ignoring nonexistent directory
"/opt/gcc-git/lib/gcc/x86_64-unknown-linux-gnu/4.10.0/../../../../x86_64-unknown-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:

/opt/gcc-git/lib/gcc/x86_64-unknown-linux-gnu/4.10.0/../../../../include/c++/4.10.0

/opt/gcc-git/lib/gcc/x86_64-unknown-linux-gnu/4.10.0/../../../../include/c++/4.10.0/x86_64-unknown-linux-gnu

/opt/gcc-git/lib/gcc/x86_64-unknown-linux-gnu/4.10.0/../../../../include/c++/4.10.0/backward
 /opt/gcc-git/lib/gcc/x86_64-unknown-linux-gnu/4.10.0/include
 /opt/gcc-git/include
 /opt/gcc-git/lib/gcc/x86_64-unknown-linux-gnu/4.10.0/include-fixed
 /usr/include
End of search list.
COLLECT_GCC_OPTIONS='-v' '-save-temps' '-O3' '-std=c++11' '-fgnu-tm' '-c'
'-shared-libgcc' '-mtune=generic' '-march=x86-64' '-pthread'
 /opt/gcc-git/libexec/gcc/x86_64-unknown-linux-gnu/4.10.0/cc1plus
-fpreprocessed indexer.ii -quiet -dumpbase indexer.cpp -mtune=generic
-march=x86-64 -auxbase indexer -O3 -std=c++11 -version -fgnu-tm -o indexer.s
GNU C++ (GCC) version 4.10.0 20140622 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.10.0 20140622 (experimental), GMP version
5.1.2, MPFR version 3.1.2, MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU C++ (GCC) version 4.10.0 20140622 (experimental) (x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.10.0 20140622 (experimental), GMP version
5.1.2, MPFR version 3.1.2, MPC version 1.0.1
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 3ed828d89bc21f38ee29be835239ca4b
indexer.cpp: In member function âbool {anonymous}::Parser::parseDeclaration()â:
indexer.cpp:231:10: internal compiler error: in requires_barrier, at
trans-mem.c:1518
     bool parseDeclaration() {
          ^
0xba851f requires_barrier
        /usr/src/gcc/gcc/trans-mem.c:1518
0xba87e0 expand_assign_tm
        /usr/src/gcc/gcc/trans-mem.c:2254
0xba9a3e expand_block_tm
        /usr/src/gcc/gcc/trans-mem.c:2485
0xba9a3e execute_tm_mark
        /usr/src/gcc/gcc/trans-mem.c:2983
0xba9a3e execute
        /usr/src/gcc/gcc/trans-mem.c:3029
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.