newTime updated multiple times?

[dnj12345]

Not sure if it's an issue or not, but definitely a question... :)

If the 'compare_exchange_weak' call in the code below fails, the newTime would be incremented by timeNeeded multiple times. Is that the intent?

    for (;;) {
      newTime += timeNeeded;
      if (newTime > now) {
        return false;
      }
      if (time_.compare_exchange_weak(oldTime, newTime,
                                      std::memory_order_relaxed,
                                      std::memory_order_relaxed)) {
        return true;
      }
      newTime = oldTime;
    }

[dnj12345]

Never mind, understood. oldTime is copied to the newTime on the last line of the loop.