[slaymaker1907]

An infinite loop with no side effects is undefined behavior.

[comex]

I didn't say no side effects. But even an infinite loop with no side effects is well-defined if the controlling expression is a constant expression; see the link in my previous post.