projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d80ddc0) | patch
Dan noticed that the verifier wasn't thoroughly checking uses of
authorDuncan Sands <baldrick@free.fr>
Fri, 29 May 2009 19:39:36 +0000 (19:39 +0000)
committerDuncan Sands <baldrick@free.fr>
Fri, 29 May 2009 19:39:36 +0000 (19:39 +0000)
commit44008257a4f3e8871e0091c789ba1631402fd770
tree97586ec510dc228e70a03d491efc6275853c3e3ftree | snapshot
parentd80ddc0b644a48873a42b56134ae0a5b43eae711commit | diff
Dan noticed that the verifier wasn't thoroughly checking uses of
invoke results (see the testcases).  Tighten up the checking.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@72586 91177308-0d34-0410-b5e6-96231b3b80d8
lib/VMCore/Verifier.cpp diff | blob | history
test/Verifier/2009-05-29-InvokeResult1.ll [new file with mode: 0644] blob
test/Verifier/2009-05-29-InvokeResult2.ll [new file with mode: 0644] blob
test/Verifier/2009-05-29-InvokeResult3.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors