https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100334
--- Comment #4 from Thomas Rodgers <rodgertq at gcc dot gnu.org> --- This analysis is likely correct, except for - "- protect from spurious wakeups in __waiter_pool::_M_do_wait by rechecking if the value has changed from old, if not then wait again" An earlier version of this code did this, but was subject to ABA problems, and the standard doesn't require that we do this - "(23.3) — Blocks until it is unblocked by an atomic notifying operation or is unblocked spuriously."
