http://stackoverflow.com/questions/2178115/are-compilers-allowed-to-eliminate-infinite-loopsC'est même pire que ce dont je me rappelais, apparemment la spéc C11 permet explicitement aux compilos de faire cette optim. Je me répète, mais en plus d'être théoriquement plus que douteux, c'est franchement dangereux : il y a des systèmes embarqués dans lesquels ce genre de boucle est utilisé pour bloquer l'exécution en cas d'erreur irrécupérable, et où il ne faut surtout pas qu'on en sorte, sous risque de provoquer des dommages matériels voire humains.