> the moment their value changes the for loop exits.
No it doesn't.

The loop will exit at the start of the next iteration if the values change such that the condition is no longer satisfied.