RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-12-04 17:56:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

reject attempts to take the address of an intrinsic, PR4949.

Browse Source 
llvm-svn: 81530
This commit is contained in:
Chris Lattner 2009-09-11 17:05:29 +00:00
parent e8f2153059
commit 444bd61976
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
lib/VMCore/Verifier.cpp
View File

@ -638,6 +638,18 @@ void Verifier::visitFunction(Function &F) {
Assert1(pred_begin(Entry) == pred_end(Entry),
"Entry block to function must not have predecessors!", Entry);
}
// If this function is actually an intrinsic, verify that it is only used in
// direct call/invokes, never having its "address taken".
if (F.getIntrinsicID()) {
for (Value::use_iterator UI = F.use_begin(), E = F.use_end(); UI != E;++UI){
User *U = cast<User>(UI);
if ((isa<CallInst>(U) || isa<InvokeInst>(U)) && UI.getOperandNo() == 0)
continue; // Direct calls/invokes are ok.
Assert1(0, "Invalid user of intrinsic instruction!", U);
}
}
}
// verifyBasicBlock - Verify that a basic block is well formed...