Currently we model atomic accesses as 1-byte reads. And that's how they appear in race reports. This can confuse whoever reads the report, because source code contains no 1-byte reads. This in turn can lead to a conclusion that the tool produces bogus reports.
We need to properly report atomic accesses at atomic accesses.
Currently we model atomic accesses as 1-byte reads. And that's how they appear in race reports. This can confuse whoever reads the report, because source code contains no 1-byte reads. This in turn can lead to a conclusion that the tool produces bogus reports. We need to properly report atomic accesses at atomic accesses.