From 9521a564fbd0fbb4be0e023ffa9c274eae20b340 Mon Sep 17 00:00:00 2001 From: Rafael Espindola Date: Tue, 10 Jul 2007 19:28:12 +0000 Subject: check for correct usage of the byval attribute llvm-svn: 38506 --- llvm/lib/VMCore/Verifier.cpp | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'llvm/lib') diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp index 16e87f4f7a1..4e3a16e8ee9 100644 --- a/llvm/lib/VMCore/Verifier.cpp +++ b/llvm/lib/VMCore/Verifier.cpp @@ -361,6 +361,10 @@ void Verifier::visitFunction(Function &F) { if (const ParamAttrsList *Attrs = FT->getParamAttrs()) { unsigned Idx = 1; + + Assert(!Attrs->paramHasAttr(0, ParamAttr::ByVal), + "Attribute ByVal should not apply to functions!"); + for (FunctionType::param_iterator I = FT->param_begin(), E = FT->param_end(); I != E; ++I, ++Idx) { if (Attrs->paramHasAttr(Idx, ParamAttr::ZExt) || @@ -370,9 +374,14 @@ void Verifier::visitFunction(Function &F) { if (Attrs->paramHasAttr(Idx, ParamAttr::NoAlias)) Assert1(isa(FT->getParamType(Idx-1)), "Attribute NoAlias should only apply to Pointer type!", &F); - if (Attrs->paramHasAttr(Idx, ParamAttr::ByVal)) + if (Attrs->paramHasAttr(Idx, ParamAttr::ByVal)) { Assert1(isa(FT->getParamType(Idx-1)), - "Attribute ByVal should only apply to Pointer type!", &F); + "Attribute ByVal should only apply to pointer to structs!", &F); + const PointerType *Ty = + cast(FT->getParamType(Idx-1)); + Assert1(isa(Ty->getElementType()), + "Attribute ByVal should only apply to pointer to structs!", &F); + } } } -- cgit v1.2.3