maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Verify that function call arguments match the function signature 

llvm-svn: 2553
This commit is contained in:
Chris Lattner 2002-05-08 19:49:50 +00:00
parent cf3afd9dc5
commit 338a462110
1 changed files with 17 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
llvm/lib/VMCore/Verifier.cpp
View File

@ -30,6 +30,7 @@
// * It is illegal to have a internal function that is just a declaration
// * It is illegal to have a ret instruction that returns a value that does not
// agree with the function return value type.
// * Function call argument types match the function prototype
// * All other things that are tested by asserts spread about the code...
//
//===----------------------------------------------------------------------===//
@ -228,6 +229,22 @@ void Verifier::visitCallInst(CallInst *CI) {
PointerType *FPTy = cast<PointerType>(CI->getOperand(0)->getType());
Assert1(isa<FunctionType>(FPTy->getElementType()),
"Called function is not pointer to function type!", CI);
FunctionType *FTy = cast<FunctionType>(FPTy->getElementType());
// Verify that the correct number of arguments are being passed
if (FTy->isVarArg())
Assert1(CI->getNumOperands()-1 >= FTy->getNumParams(),
"Called function requires more parameters than were provided!", CI);
else
Assert1(CI->getNumOperands()-1 == FTy->getNumParams(),
"Incorrect number of arguments passed to called function!", CI);
// Verify that all arguments to the call match the function type...
for (unsigned i = 0, e = FTy->getNumParams(); i != e; ++i)
Assert2(CI->getOperand(i+1)->getType() == FTy->getParamType(i),
"Call parameter type does not match function signature!",
CI->getOperand(i+1), FTy->getParamType(i));
}
// visitBinaryOperator - Check that both arguments to the binary operator are