[msan] Fix select instrumentation.
authorEvgeniy Stepanov <eugeni.stepanov@gmail.com>
Tue, 3 Sep 2013 10:04:11 +0000 (10:04 +0000)
committerEvgeniy Stepanov <eugeni.stepanov@gmail.com>
Tue, 3 Sep 2013 10:04:11 +0000 (10:04 +0000)
commit6a9b29ec9b42e792732659e510a655449a41b661
tree60a3a3a27a3ad139999b51dce96eb521c2cd417a
parentfdb6a38913cc54e9523b1ee1aab2cc3be27ea4f7
[msan] Fix select instrumentation.

Select condition shadow was being ignored resulting in false negatives.
This change OR-s sign-extended condition shadow into the result shadow.

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