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.