projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06e88db) | patch
Add verification for align, dereferenceable, dereferenceable_or_null load metadata
authorArtur Pilipenko <apilipenko@azulsystems.com>
Fri, 9 Oct 2015 17:41:29 +0000 (17:41 +0000)
committerArtur Pilipenko <apilipenko@azulsystems.com>
Fri, 9 Oct 2015 17:41:29 +0000 (17:41 +0000)
commite5e1a3cb9753cd6574e923f1595213573c86a7b0
tree6661a7cbc47d70d48d5efb3ea3b46ac420a59455tree | snapshot
parent06e88db43d1ff367d03b731c9c1f4f69da78149bcommit | diff
Add verification for align, dereferenceable, dereferenceable_or_null load metadata

Reviewed By: reames

Differential Revision: http://reviews.llvm.org/D13428

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