Will the old value be updated after the 'do-while'loop and before 'while' loop?

In 《c++ concurrency in action》page 217,

Will the old value be updated after the 'do-while'loop and before 'while' loop? Then the hazard pointer is set to the wrong old_head?