RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-20 10:42:36 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

llvm.va_start only takes on argument now

Browse Source 
Verify that va_start doesn't occur in functions with no varargs

llvm-svn: 6038
This commit is contained in:
Chris Lattner 2003-05-08 15:55:31 +00:00
parent 9487ecd232
commit 746e408dd9
1 changed files with 5 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
lib/VMCore/Verifier.cpp
View File

@ -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;