projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66faa25) | patch
[msan] Precise instrumentation for icmp sgt %x, -1.
authorEvgeniy Stepanov <eugeni.stepanov@gmail.com>
Tue, 25 Aug 2015 22:19:11 +0000 (22:19 +0000)
committerEvgeniy Stepanov <eugeni.stepanov@gmail.com>
Tue, 25 Aug 2015 22:19:11 +0000 (22:19 +0000)
commite49a149453e01661462714411d378c1ad208fe09
treed27b5cbaa78678ba677c997d54825444935ec6a2tree | snapshot
parent66faa25c3a24649ec8b84674fe5c55953de42ee4commit | diff
[msan] Precise instrumentation for icmp sgt %x, -1.

Extend signed relational comparison instrumentation with a special
case for comparisons with -1. This fixes an MSan false positive when
such comparison is used as a sign bit test.

https://llvm.org/bugs/show_bug.cgi?id=24561

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@245980 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