This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32
- From: "tbm at cyrius dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 4 Mar 2007 22:27:44 -0000
- Subject: [Bug tree-optimization/31037] [4.3 Regression] ICE: verify_ssa failed - definition in block 23 does not dominate use in block 32
- References: <bug-31037-12387@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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