from https://isocpp.org/files/papers/P2809R3.html where the C++ committee has just adopted a proposal to make some infinite loops not UB