[compiler-rt] [TSan] Ignore reads if not stored early (PR #74575)

Dmitry Vyukov via llvm-commits llvm-commits at lists.llvm.org
Tue Dec 12 00:51:45 PST 2023


dvyukov wrote:

If the 8-byte granule contains only 1 variable, or multiple uniformly accessed variables, then this _may_ be OK as is, not sure completely.
But I am concerned about the case when the granule contains non-uniformly accessed variables, e.g. just a set of bool fields in a class. In this case, we may not track accessed to variables accessed later at all and systematically miss races. Am I missing something here?


https://github.com/llvm/llvm-project/pull/74575


More information about the llvm-commits mailing list