Do not allow attributes beyond a function's last
authorDuncan Sands <baldrick@free.fr>
Fri, 11 Jan 2008 22:36:48 +0000 (22:36 +0000)
committerDuncan Sands <baldrick@free.fr>
Fri, 11 Jan 2008 22:36:48 +0000 (22:36 +0000)
commit623a389f623dfef44f07211bd12fbd2a93db09e3
treefdaeaea0d3864dad9983412fe9f31d2c57912c81
parent10603e0c84d15f61443e8b17bc35f98cc46606d9
Do not allow attributes beyond a function's last
parameter, even if it is a varargs function.  Do
allow attributes on the varargs part of a call,
but not beyond the last argument.  Only allow
selected attributes to be on the varargs part of
a call (currently only 'byval' is allowed).  The
reasoning here is that most attributes, eg inreg,
simply make no sense here.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45887 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/ParameterAttributes.h
lib/VMCore/Verifier.cpp
test/Verifier/2008-01-11-VarargAttrs.ll [new file with mode: 0644]