[Bug middle-end/52173] New: internal compiler error: verify_ssa failed possibly caused by itm

["lloyd at randombit dot net" <gcc-bugzilla at gcc dot gnu dot org>]

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: unassigned@gcc.gnu.org
        ReportedBy: lloyd@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)