Hacker News Reader

Not categorically though: an infinite loop does not contain a branch.

It's just an unconditional branch but still a branch. Probably even not an unrollable one due to non-infinite memory.