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)