On Mon, May 11, 2020 at 09:41:49PM +0100, Will Deacon wrote:> + data_race(({ __WRITE_ONCE(*__xp, val); 0; })); \That had me blink for a little, I see how we got there, but urgh.Anyway, it's all in *much* better shape now than it was, so no realcopmlaints.