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)
commit0ca58b33cf2888443688f3fcdaada2ddd2a9b944
tree4668db529090b4bd2259d1dc2d5d8c490f765a1c
parent622be238eb847fbb15b320028263668d17d7e21f
Extend the verifier to check usage of 'nonnull' metadata.

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

llvm-svn: 220323
llvm/lib/IR/Verifier.cpp