Samuel Thibault69040bc437port and complete r16119 from 1.1: put ANNOTATE_HAPPENS_BEFORE after atomic_adds, so that the reading part of the atomic add is considered before the update which signals potential termination
69040bc437
port and complete r16119 from 1.1: put ANNOTATE_HAPPENS_BEFORE after atomic_adds, so that the reading part of the atomic add is considered before the update which signals potential termination