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 progr

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.