summaryrefslogtreecommitdiff
path: root/test/Verifier/dereferenceable-md.ll
AgeCommit message (Expand)AuthorFilesLines
2015-10-09Add verification for align, dereferenceable, dereferenceable_or_null load met...Artur Pilipenko1-0/+86