No, the parent is actually talking about the Halting Problem. It has been proven impossible to predict when a program will exit without actually executing the p

No, the parent is actually talking about the Halting Problem. It has been proven impossible to predict when a program will exit without actually executing the program. (except in a few trivial edge cases) https://en.wikipedia.org/wiki/Halting_problem https://en.wikipedia.org/wiki/Halting_problem