I know TSan has zero false-positives, because it only flags a data race when multiple threads access the same memory without synchronization (and at least one o

I know TSan has zero false-positives, because it only flags a data race when multiple threads access the same memory without synchronization (and at least one of those accesses is a write). Not sure about the other LLVM sanitizers.