From: Chris Lattner <sabre@nondot.org>
Date: Fri, 11 Sep 2009 17:05:29 +0000 (+0000)
Subject: reject attempts to take the address of an intrinsic, PR4949.
X-Git-Tag: android-x86-6.0-r1~1003^2~15360
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=13202deca6e68779a4884174d84a5abc35e8c885;p=android-x86%2Fexternal-llvm.git

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


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@81530 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index 5d9d7ad2bf6..d31e6cb5120 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -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...