On Tue, 16 Jun 2020, Jonathan Wakely via Gcc-patches wrote:
> Currently the __atomic_{load,store,exchange,compare_exchange} built-ins
> will happily store values through pointers to const, or use pointers to
> volatile as the input and output arguments. This patch ensures that any
> pointer that w
Currently the __atomic_{load,store,exchange,compare_exchange} built-ins
will happily store values through pointers to const, or use pointers to
volatile as the input and output arguments. This patch ensures that any
pointer that will be written through does not point to a const object,
and only the