projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de246de) | patch
Extend the verifier to check usage of 'nonnull' metadata.
authorPhilip Reames <listmail@philipreames.com>
Tue, 21 Oct 2014 20:56:29 +0000 (20:56 +0000)
committerPhilip Reames <listmail@philipreames.com>
Tue, 21 Oct 2014 20:56:29 +0000 (20:56 +0000)
commit5127ff928b4dece075f278721b801135105938bd
tree04b6684d237a3c303b893f6ea2e8d88b78e010b9tree | snapshot
parentde246de95876149b4f4086819968686462a4fd09commit | diff
Extend the verifier to check usage of 'nonnull' metadata.

The recently added !nonnull metadata is only valid on loads of pointer type.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@220323 91177308-0d34-0410-b5e6-96231b3b80d8
lib/IR/Verifier.cpp diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors