[SanitizerBinaryMetadata] Pretend compiler-generated loads/stores are atomic
authorMarco Elver <elver@google.com>
Tue, 31 Jan 2023 16:28:23 +0000 (17:28 +0100)
committerMarco Elver <elver@google.com>
Tue, 31 Jan 2023 16:30:43 +0000 (17:30 +0100)
commit764c88a50ac76a2df2d051a0eb5badc6867aabb6
tree015baa61f94a5bfa4844523d6f4302da2da7b1b8
parentf95bdff17b3ed73f7f50479aaab3dfedfe73c9d1
[SanitizerBinaryMetadata] Pretend compiler-generated loads/stores are atomic

Profiling and GCOV generate known data-racy loads/stores. Pretend they
are atomic so that analysis using PC-keyed metadata for atomics do not
report them as data races (which would look like false positives).

Reviewed By: dvyukov

Differential Revision: https://reviews.llvm.org/D142982
llvm/lib/Transforms/Instrumentation/SanitizerBinaryMetadata.cpp
llvm/test/Instrumentation/SanitizerBinaryMetadata/pretend-atomic-access.ll [new file with mode: 0644]