it isn't valid to take the address of the entry block.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85621 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2009-10-30 22:15:48 +00:00
parent 7cb7e12c08
commit 287db0c23c

View File

@ -658,6 +658,8 @@ void Verifier::visitFunction(Function &F) {
BasicBlock *Entry = &F.getEntryBlock(); BasicBlock *Entry = &F.getEntryBlock();
Assert1(pred_begin(Entry) == pred_end(Entry), Assert1(pred_begin(Entry) == pred_end(Entry),
"Entry block to function must not have predecessors!", Entry); "Entry block to function must not have predecessors!", Entry);
Assert1(!Entry->hasAddressTaken(),
"blockaddress may not be used with the entry block!", Entry);
} }
// If this function is actually an intrinsic, verify that it is only used in // If this function is actually an intrinsic, verify that it is only used in