First, that example is not jump threading, since its cloning code and CFG blocks. https://en.wikipedia.org/wiki/Jump_threading https://en.wikipedia.org/wiki/Ju

First, that example is not jump threading, since its cloning code and CFG blocks. https://en.wikipedia.org/wiki/Jump_threading https://en.wikipedia.org/wiki/Jump_threading is a better description of jump threading. In what the author describes as jump threading, you have the same problem as loop peeling or any other loop optimization that may get applied to an infinite loop and want to duplicate per-iteration code from that loop. Yet somehow, as you'll see, we can prove things about the end states of those optimizations. ;-)