C++26 declara que los bucles infinitos triviales ya no son comportamiento indefinido
C++26: Trivial infinite loops are no longer undefined behaviour
Hasta C++26, un bucle como while(true); sin efectos secundarios era comportamiento indefinido y los compiladores podían eliminarlo, con consecuencias desastrosas en sistemas embebidos. El estándar ahora define los bucles infinitos triviales como comportamiento bien definido mediante P2809R3, que reemplaza el cuerpo del bucle por una llamada a std::this_thread::yield().
En un sistema embebido, eso significa que un manejador de errores fatales no detiene realmente el dispositivo. El hardware sigue funcionando en un estado corrupto, ejecutando las instrucciones que resulten estar después.