Lo de los bucles infinitos ya lo "sabía". Pero lo que hay en el mensaje citado, me sorprendió
https://hails.org/@hailey/112147785725190189
https://lobste.rs/s/wwgxzk/infinite_loops_are_ub_c#c_amwcq2
(lobste.rs suele ser bastante fiable)
Ah, parece que es C++ sólo, C no. Todavía más curioso.