Comment by suprjami

No it doesn't. Modern processors do out-of-order execution, so your program might be doing UB before you expect.