http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52173
Bug #: 52173
Summary: internal compiler error: verify_ssa failed possibly
caused by itm
Classification: Unclassified
Product: gcc
Version: 4.7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: ll...@randombit.net
Testcase, attached, fails to compile under -O3. Fine under -O2. The error does
not occur if I comment out the __transaction_relaxed
$ g++-4.7.0 -O3 -std=c++11 -fgnu-tm concur.cpp -o concur -litm
concur.cpp: In function 'void many_sets()':
concur.cpp:19:6: error: definition in block 8 does not dominate use in block 98
for SSA_NAME: D.40799_64 in statement:
D.43917_72 = (size_type) D.40799_64;
concur.cpp:19:6: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
Version info:
$ g++-4.7.0 -v
Using built-in specs.
COLLECT_GCC=/usr/local/bin/g++-4.7.0
COLLECT_LTO_WRAPPER=/usr/local/gcc-4.7.0-r183974/libexec/gcc/x86_64-unknown-linux-gnu/4.7.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-svn/configure --prefix=/usr/local/gcc-4.7.0-r183974
--enable-languages=c,c++,go --program-suffix=-4.7.0-r183974
Thread model: posix
gcc version 4.7.0 20120207 (experimental) (GCC)
