On 2021-03-19 11:03 a.m., Alex Coplan wrote:
Hi Vladimir,
On 19/03/2021 10:21, Vladimir Makarov via Gcc-patches wrote:
The following patch solves P1 PR99581
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99581
The patch was successfully tested and bootstrapped on x86-64, ppc64le,
aarch64.
Is it ok for the trunk?
Can we avoid using the term "relaxed memory" here? The overlap with memory
models (as in relaxed memory concurrency) is rather misleading.
I am open to rename if people propose a good alternative.
I had only one good alternative define_permissive_memory but it is longer.
