projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8eea48a) | patch
Teach the verifier to check the condition on a branch and ensure that it has
authorNick Lewycky <nicholas@mxc.ca>
Mon, 15 Feb 2010 22:09:09 +0000 (22:09 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Mon, 15 Feb 2010 22:09:09 +0000 (22:09 +0000)
commit6a7cb63f6fe4b9ce707e88490e2eeb76cb40ed80
tree00177f3ee697ea23e4c4f4958a8a5e7fcd565e1btree | snapshot
parent8eea48a43da9e861841abe869c5f3215c1f42d27commit | diff
Teach the verifier to check the condition on a branch and ensure that it has
'i1' type.

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