That's why, if you ask me, I'd tell you that I think loop {} should die with a "undefined behavior" message.

See, the problem is that doing that would define loop {} as die with a "undefined behavior" message and thus it wouldn't be undefined behavior anymore.