[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32

[tbm at cyrius dot com]

------- Comment #4 from tbm at cyrius dot com  2007-03-04 22:27 -------
Created an attachment (id=13143)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13143&action=view)
testcase

Here's another testcase.  This one only needs -O

(sid)3163:tbm@em64t: ~] /usr/lib/gcc-snapshot/bin/g++ -c -O1
sam2p-sam2p_main.cc
sam2p-sam2p_main.cc: In function 'void run_sam2p_engine(Files::FILEW&,
Files::FILEW&, const char* const*, bool)':
sam2p-sam2p_main.cc:156: error: definition in block 7 does not dominate use in
block 21
for SSA_NAME: NMT.57_171 in statement:
NMT.57_314 = PHI <NMT.57_171(7), NMT.57_259(19), NMT.57_171(21)>
PHI argument
NMT.57_171
for PHI node
NMT.57_314 = PHI <NMT.57_171(7), NMT.57_259(19), NMT.57_171(21)>
sam2p-sam2p_main.cc:156: internal compiler error: verify_ssa failed


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31037