[pkhuong]

The basic logic flags any loop ("back-edge").

[rezonant]

This, others have said it less concisely, but a program without loops and arbitrary jumps is guaranteed to halt if we assume the external functions it calls into will halt.