Hacker News Reader

I think it's defined to execute at least until overflow, is it not? (So, even assuming a 1-bit int, it's going to execute at least once I think.)

No, if your program ever invokes UB, anything could happen (even at the beginning). In other words, UB can time travel.

If the {…} includes a break, undefined behavior could well be avoided.