Created on 2019-08-03.00:00:00, last changed 2019-08-06.16:46:59.
This wording is relative to N4830.
Modify [atomics.lockfree] as indicated:
-2- The function atomic_is_lock_free ([atomics.types.operations]) indicate
swhether the object is lock-free. In any given program execution, the result of the lock-free query shall be consistent for all pointersof the same type.
According to SG1 experts, the requirement in [atomics.lockfree]/2 is intended to require that the answer for is_lock_free() be the same for a given T for a given run of the program. The wording does not achieve that because it's described in terms of 'pointers', but there are no pointers in an atomic<int>.
|2019-08-06 16:46:59||admin||set||messages: + msg10546|