volatile int i=1; while (i) { }
Thus, the loop loops until something which cannot be deduced from the program code happens.
Thus, yes.
Thus, the loop loops until something which cannot be deduced from the program code happens.
Thus, yes.