[tetha]

Being volatile, i can change in ways which cannot be deduced from the program code.

Thus, the loop loops until something which cannot be deduced from the program code happens.

Thus, yes.