[llvm-commits] [llvm] r59563 - /llvm/trunk/lib/VMCore/Verifier.cpp

[Bill Wendling]

Author: void
Date: Tue Nov 18 17:09:31 2008
New Revision: 59563

URL: http://llvm.org/viewvc/llvm-project?rev=59563&view=rev
Log:
Verify that the second parameter of the stacprotector intrinsic is an alloca
instruction.

Modified:
    llvm/trunk/lib/VMCore/Verifier.cpp

Modified: llvm/trunk/lib/VMCore/Verifier.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/VMCore/Verifier.cpp?rev=59563&r1=59562&r2=59563&view=diff

==============================================================================
--- llvm/trunk/lib/VMCore/Verifier.cpp (original)
+++ llvm/trunk/lib/VMCore/Verifier.cpp Tue Nov 18 17:09:31 2008
@@ -1374,6 +1374,11 @@
             "invalid arguments to llvm.prefetch",
             &CI);
     break;
+  case Intrinsic::stackprotector:
+    Assert1(isa<AllocaInst>(CI.getOperand(2)),
+            "llvm.stackprotector parameter #2 must resolve to an alloca.",
+            &CI);
+    break;
   }
 }