Comment by pingyong

Is there even a case where the compiler can optimize a terminating loop better when it is allowed to assume that it will terminate at some point?