Comment by amelius

But the undefined behavior would only apply to the performance, not to the correctness.