[sbmassey]

Well indeed, as per Turing on the Entscheidungsproblem one cannot know what some abstract bit of code does without running it, but one can sometimes put limits on its behaviour - your snippet will never do anything but print out numbers, for example, or something running under seccomp might be prevented from making certain syscalls.

[portent]

my point is that even running the code doesn't help you answer the question. It runs for a year and doesn't halt... so will it ever halt?