Make the ll parser check that arguments have valid types.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@109361 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Eli Friedman 2010-07-24 23:00:26 +00:00
parent 327f4e4ab2
commit 568463b556

View File

@ -3710,8 +3710,12 @@ bool LLParser::ParseCall(Instruction *&Inst, PerFunctionState &PFS,
!(Ty = dyn_cast<FunctionType>(PFTy->getElementType()))) {
// Pull out the types of all of the arguments...
std::vector<const Type*> ParamTypes;
for (unsigned i = 0, e = ArgList.size(); i != e; ++i)
for (unsigned i = 0, e = ArgList.size(); i != e; ++i) {
const Type* ArgTy = ArgList[i].V->getType();
if (!FunctionType::isValidArgumentType(ArgTy))
return Error(ArgList[i].Loc, "Invalid argument type for LLVM function");
ParamTypes.push_back(ArgList[i].V->getType());
}
if (!FunctionType::isValidReturnType(RetType))
return Error(RetTypeLoc, "Invalid result type for LLVM function");