projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ea387fc) | patch
[msan] Implement exact shadow propagation for relational ICmp.
authorEvgeniy Stepanov <eugeni.stepanov@gmail.com>
Fri, 25 Jan 2013 15:31:10 +0000 (15:31 +0000)
committerEvgeniy Stepanov <eugeni.stepanov@gmail.com>
Fri, 25 Jan 2013 15:31:10 +0000 (15:31 +0000)
commit351f65d9723c075af86466c07a0a3dc28be272cd
tree82e09d16ae205017d64d6640d0e2ca398d0dcfd1tree | snapshot
parentea387fc3b8cf12c3c6ad218b81eca156e8173bbacommit | diff
[msan] Implement exact shadow propagation for relational ICmp.

Only for integers, pointers, and vectors of those. No floats.
Instrumentation seems very heavy, and may need to be replaced
with some approximation in the future.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@173452 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Instrumentation/MemorySanitizer.cpp diff | blob | history
test/Instrumentation/MemorySanitizer/msan_basic.ll diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors