aboutsummaryrefslogtreecommitdiff
path: root/lib/VMCore/Verifier.cpp
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2003-05-08 02:44:12 +0000
committerChris Lattner <sabre@nondot.org>2003-05-08 02:44:12 +0000
commit8f77daef04355c00b78b645f5aae5694e7a8b631 (patch)
tree44b5b785fe68c331d24b79ca5f6faa3850b9d586 /lib/VMCore/Verifier.cpp
parent97b315a58581261ec4bd6430ec9b438ba5fb728e (diff)
Add support for the new va_arg instruction
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6029 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/VMCore/Verifier.cpp')
-rw-r--r--lib/VMCore/Verifier.cpp8
1 files changed, 7 insertions, 1 deletions
diff --git a/lib/VMCore/Verifier.cpp b/lib/VMCore/Verifier.cpp
index f7bcf5044d..66ee9de4c1 100644
--- a/lib/VMCore/Verifier.cpp
+++ b/lib/VMCore/Verifier.cpp
@@ -130,6 +130,7 @@ namespace { // Anonymous namespace for class
void visitPHINode(PHINode &PN);
void visitBinaryOperator(BinaryOperator &B);
void visitShiftInst(ShiftInst &SI);
+ void visitVarArgInst(VarArgInst &VAI);
void visitCallInst(CallInst &CI);
void visitGetElementPtrInst(GetElementPtrInst &GEP);
void visitLoadInst(LoadInst &LI);
@@ -402,7 +403,12 @@ void Verifier::visitShiftInst(ShiftInst &SI) {
visitInstruction(SI);
}
-
+void Verifier::visitVarArgInst(VarArgInst &VAI) {
+ Assert1(VAI.getParent()->getParent()->getFunctionType()->isVarArg(),
+ "va_arg instruction may only occur in function with variable args!",
+ &VAI);
+ visitInstruction(VAI);
+}
void Verifier::visitGetElementPtrInst(GetElementPtrInst &GEP) {
const Type *ElTy =