Shouldn't loop {} be considered the equivalent of

LABEL: goto LABEL;
[download]

i.e. yes the thing you're executing inside the loop is a nop, but that doesn't invalidate the concept of the loop itself.

So looping infinitely seems like the only logical behaviour to me.