Though there's a very pragmatic solution for the compiler: Stop after a fixed number of iterations. Since it's an optimization, and not required for correct op

Though there's a very pragmatic solution for the compiler: Stop after a fixed number of iterations. Since it's an optimization, and not required for correct operation of the compiler, one can simply give up instead of risking an infinite loop.