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

Add better verification of attributes on function types. It is not permitted 

to use sret or inreg on the function. It is equally illegal to use noreturn
or nounwind on a parameter; they only go with the function. This patch
enforces these rules.

llvm-svn: 40453
This commit is contained in:
Reid Spencer 2007-07-23 23:09:55 +00:00
parent 49a953ab13
commit 6c2b393f0c
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -364,6 +364,10 @@ void Verifier::visitFunction(Function &F) {
Assert(!Attrs->paramHasAttr(0, ParamAttr::ByVal),
"Attribute ByVal should not apply to functions!");
Assert(!Attrs->paramHasAttr(0, ParamAttr::StructRet),
"Attribute SRet should not apply to functions!");
Assert(!Attrs->paramHasAttr(0, ParamAttr::InReg),
"Attribute SRet should not apply to functions!");
for (FunctionType::param_iterator I = FT->param_begin(),
E = FT->param_end(); I != E; ++I, ++Idx) {
@ -386,6 +390,11 @@ void Verifier::visitFunction(Function &F) {
Assert1(isa<StructType>(Ty->getElementType()),
"Attribute ByVal should only apply to pointer to structs!", &F);
}
if (Attrs->paramHasAttr(Idx, ParamAttr::NoReturn))
Assert1(0, "Attribute NoReturn should only be applied to function", &F);
if (Attrs->paramHasAttr(Idx, ParamAttr::NoUnwind))
Assert1(0, "Attribute NoUnwind should only be applied to function", &F);
}
}