[msan] Implement sanitize_memory attribute.
authorEvgeniy Stepanov <eugeni.stepanov@gmail.com>
Thu, 28 Feb 2013 11:25:14 +0000 (11:25 +0000)
committerEvgeniy Stepanov <eugeni.stepanov@gmail.com>
Thu, 28 Feb 2013 11:25:14 +0000 (11:25 +0000)
commit5e812139690ce077d568ef6559992b2cf74eb536
tree3ee2e2d0dbe7014af4c134e9f1650bd504c91a81
parent4a4fb84d4b1ae48199489707a4398e2a968b8933
[msan] Implement sanitize_memory attribute.

Shadow checks are disabled and memory loads always produce fully initialized
values in functions that don't have a sanitize_memory attribute. Value and
argument shadow is propagated as usual.

This change also updates blacklist behaviour to match the above.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@176247 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Instrumentation/MemorySanitizer.cpp
test/Instrumentation/MemorySanitizer/msan_basic.ll