空の無限ループは未定義動作ではないと規定 [P2809R3] - cpprefjp C++日本語リファレンス

仕様 以下の形式になっている文を、「トリビアルで空のイテレーション文」であると定義する。 while (条件式) ; while (条件式) { } do ; while (条件式) ; do { } while (条件式) ; for ( 初期化式 ; 条件式(省略可) ; ) ; for ( 初期化式 ; 条件式(省略可) ; ) { } また、「トリビアルで空のイテレーション文」のうち、条件式が定数式としてtrueに展開される文を「トリビアルな無限ループ」であると定義する。トリビアルな無限ループ内の文は、std::this_thread::yield()の呼び出しに置き換えられる。 注：フリースタンディング環境においては、並行進行保証はされない。そのようなシステムにおいては明示的な協調操作が必要となる。 参照 P2809R3 Trivial infinite loops are no