[compiler-rt] r281970 - tsan: check more addresses in CheckShadowMapping

Renato Golin via llvm-commits llvm-commits at lists.llvm.org
Tue Sep 20 10:05:07 PDT 2016


On 20 September 2016 at 16:27, Dmitry Vyukov <dvyukov at google.com> wrote:
> The problem is that ShadowToMemImpl assumes that the mapping is
> linear, but it is not (due to xor). I've hit the same issue on x86_64
> while working on some changes. I am thinking about replacing
> ShadowToMemImpl with the following implementation, which does not
> assume linearity of the mapping. Can you please check if it fixes
> aarch64/42?

Nope. Same errors:

FATAL: ThreadSanitizer CHECK failed:
/home/buildslave/buildslave/clang-cmake-aarch64-42vma/llvm/projects/compiler-rt/lib/tsan/rtl/tsan_rtl.cc:305
"((p & ~(kShadowCell - 1))) == ((ShadowToMem(s)))" (0x3ea00000000,
0x2aa00000000)

cheers,
--renato


More information about the llvm-commits mailing list