Re: [PATCH 1/3] kcsan: Add support for atomic builtins

On Fri, Jul 3, 2020 at 3:40 PM Marco Elver wrote: > > Some architectures (currently e.g. s390 partially) implement atomics > using the compiler's atomic builtins (__atomic_*, __sync_*). To support > enabling KCSAN on such architectures in future, or support experimental > use of these builtins, im

[PATCH 1/3] kcsan: Add support for atomic builtins

Some architectures (currently e.g. s390 partially) implement atomics using the compiler's atomic builtins (__atomic_*, __sync_*). To support enabling KCSAN on such architectures in future, or support experimental use of these builtins, implement support for them. We should also avoid breaking KCSA