No, it cannot, as while (true) {} is not UB and should not be optimized out. EDIT: oops, yes you are right, it is not c++ after all.