Compilers can help prevent long-running loops by compiling the code for a loop differently.
At its most basic, a loop is a start-label and an end-label.
x := 1
Currently, loops are compiled as:
Loops could be compiled as