http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50851
Bug #: 50851
Summary: ICE: verify_ssa failed, definition in block x does not
dominate use in block y with -O2
Classification: Unclassified
Product: gcc
Version: 4.7.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: ca...@cs.stanford.edu
Created attachment 25591
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25591
Source file causing ICE
Compilation of the attached file with -O2 causes ICE.
Compiler output:
prog.cpp: In member function ‘void
ANGLE_JOINT<TV>::Constrain_Angles(VECTOR<float>&) const [with TV = int]’:
prog.cpp:7:10: error: definition in block 5 does not dominate use in block 3
for SSA_NAME: .MEM_12 in statement:
.MEM_12 = PHI <.MEM_8(D)(2), .MEM_12(3)>
PHI argument
.MEM_12
for PHI node
.MEM_12 = PHI <.MEM_8(D)(2), .MEM_12(3)>
prog.cpp:7:10: 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.
How to reproduce: /home/cas43/new-gcc/inst/bin/g++ prog.cpp -O2
Compiler version:
/home/cas43/new-gcc/inst/bin/g++ -v
Using built-in specs.
COLLECT_GCC=/home/cas43/new-gcc/inst/bin/g++
COLLECT_LTO_WRAPPER=/home/cas43/new-gcc/inst/libexec/gcc/x86_64-unknown-linux-gnu/4.7.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../current-gcc/configure --prefix=/home/cas43/new-gcc/inst
Thread model: posix
gcc version 4.7.0 20111024 (experimental) (GCC)
