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

1 files changed, 9 insertions, 0 deletions

diff --git a/llvm/lib/VMCore/Verifier.cpp b/llvm/lib/VMCore/Verifier.cpp
index cbb34f09e46..6da36452fcd 100644
--- a/llvm/lib/VMCore/Verifier.cpp
+++ b/llvm/lib/VMCore/Verifier.cpp
@@ -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);
     }
   }