diff options
author | Chris Lattner <sabre@nondot.org> | 2003-05-08 15:55:31 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2003-05-08 15:55:31 +0000 |
commit | bad4b4a52b9f4a7652f7e3ae9e1d171d51923549 (patch) | |
tree | 1b16d2a7b8e7b0918a8bfd0d916436d234a0cadc /llvm/lib/VMCore | |
parent | 546ffbddb160c930dc61227f79d2de97dccb5d94 (diff) | |
download | bcm5719-llvm-bad4b4a52b9f4a7652f7e3ae9e1d171d51923549.tar.gz bcm5719-llvm-bad4b4a52b9f4a7652f7e3ae9e1d171d51923549.zip |
llvm.va_start only takes on argument now
Verify that va_start doesn't occur in functions with no varargs
llvm-svn: 6038
Diffstat (limited to 'llvm/lib/VMCore')
-rw-r--r-- | llvm/lib/VMCore/Verifier.cpp | 16 |
1 files changed, 5 insertions, 11 deletions
diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp index dfb71befac7..7dc870fd398 100644 --- a/llvm/lib/VMCore/Verifier.cpp +++ b/llvm/lib/VMCore/Verifier.cpp @@ -131,7 +131,7 @@ namespace { // Anonymous namespace for class void visitPHINode(PHINode &PN); void visitBinaryOperator(BinaryOperator &B); void visitShiftInst(ShiftInst &SI); - void visitVarArgInst(VarArgInst &VAI); + void visitVarArgInst(VarArgInst &VAI) { visitInstruction(VAI); } void visitCallInst(CallInst &CI); void visitGetElementPtrInst(GetElementPtrInst &GEP); void visitLoadInst(LoadInst &LI); @@ -409,13 +409,6 @@ 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 = GetElementPtrInst::getIndexedType(GEP.getOperand(0)->getType(), @@ -519,9 +512,10 @@ void Verifier::visitIntrinsicFunctionCall(LLVMIntrinsic::ID ID, CallInst &CI) { switch (ID) { case LLVMIntrinsic::va_start: - Assert1(isa<Argument>(CI.getOperand(2)), - "va_start second argument should be a function argument!", &CI); - NumArgs = 2; + Assert1(CI.getParent()->getParent()->getFunctionType()->isVarArg(), + "llvm.va_start intrinsic may only occur in function with variable" + " args!", &CI); + NumArgs = 1; break; case LLVMIntrinsic::va_end: NumArgs = 1; break; case LLVMIntrinsic::va_copy: NumArgs = 2; break; |