Arguably the only change to program behavior is to performance characteristics on hosted environments. It does not change any observable behavior otherwise.

In environments where there are strong forward progress guarantees a busy infinite loop does the same as far as the abstract machine is concerned, as the OS will eventually put the thread to sleep anyway and other threads can make progress. How soon the thread yields is not "observable behavior" (as defined by the standard document).