On Thu, May 14, 2020 at 03:35:58PM +0200, Marco Elver wrote:
> 5. we should not break atomic_{read,set} for KCSAN. [Because of #1,
> we'd need to add data_race() around the arch-calls in
> atomic_{read,set}; or rely on Clang 11's -tsan-distinguish-volatile
> support (GCC 11 might get this as well).]
Putting the data_race() in atomic_{read,set} would 'break' any sanitized
user of arch_atomic_{read,set}(). Now it so happens there aren't any
such just now, but we need to be aware of that.
I'm thinking the volatile thing is the nicest solution, but yes, that'll
make us depend on 11 everything.
