LWG4177 §[atomics.order] p8 "circularly depend on their own computation" is unclear for loop

[jwakely]

LWG would like SG1 to consider this issue please
https://cplusplus.github.io/LWG/issue4177

[ogiroux]

SG1 would like to add yet another note to this section, like so:

[Note: the recommendation also disallows termination of this program:

// Thread 1:
while(x.load(memory_order::relaxed) != 42);
y.store(42, memory_order::relaxed);
// Thread 2:
while(y.load(memory_order::relaxed) != 42);
x.store(42, memory_order::relaxed);

--end Note]