RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00
Code Issues Projects Releases Wiki Activity

Fix PR361.

Browse Source 
Dominance properties don't hold in unreachable code

llvm-svn: 14053
This commit is contained in:
Chris Lattner 2004-06-07 23:07:33 +00:00
parent c24db73c84
commit a1c9755c7c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lib/VMCore/Verifier.cpp
View File

@ -592,7 +592,8 @@ void Verifier::visitInstruction(Instruction &I) {
else if (OpBlock == BB) {
// If they are in the same basic block, make sure that the definition
// comes before the use.
Assert2(DS->dominates(Op, &I),
Assert2(DS->dominates(Op, &I) ||
!DS->dominates(&BB->getParent()->getEntryBlock(), BB),
"Instruction does not dominate all uses!", Op, &I);
}