projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 110c835) | patch
Get the verifier to check attributes on calls as well
authorDuncan Sands <baldrick@free.fr>
Fri, 21 Dec 2007 19:19:01 +0000 (19:19 +0000)
committerDuncan Sands <baldrick@free.fr>
Fri, 21 Dec 2007 19:19:01 +0000 (19:19 +0000)
commitd9d70395d9637ad731208728d29ae9fce1b36764
treeff46b7601352bb8ba6b6f60d8f07c576f1cd1c7ftree | snapshot
parent110c8350394df3222307fbebe608ff9ed88ea487commit | diff
Get the verifier to check attributes on calls as well
as on functions.  Make it verify invokes and not just
ordinary calls.  As a (desired) side-effect, it is no
longer legal to have call attributes on arguments that
are being passed to the varargs part of a varargs
function (llvm-as drops them on the floor anyway).

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@45286 91177308-0d34-0410-b5e6-96231b3b80d8
lib/VMCore/Verifier.cpp diff | blob | history
test/Verifier/2007-12-21-InvokeParamAttrs.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors