Pourquoi le dépassement d'entier signé provoque-t-il une boucle infinie dans ce code C ?

Bien qu'apparemment sans conséquence, le débordement d'entier dans le code fourni entraîne une conséquence importante : la valeur cassée de la variable de boucle.

Le comportement observé ici découle du comportement indéfini résultant d'un débordement d'entier signé, comme indiqué dans le projet C 11 N3337 :

"Si lors de l'évaluation de une expression, le résultat n'est pas défini mathématiquement ou n'est pas dans la plage de
valeurs représentables pour son type, le comportement est indéfini."

Avec ce comportement indéfini, tout peut arriver, rendant l'analyse du pourquoi spécifiquement ce comportement n'a aucun sens selon les règles C.

La liste d'assemblage du code révèle l'ajout explicite qui provoque le débordement, transformant ainsi la boucle en une boucle infinie. Ce comportement est dû à l'hypothèse selon laquelle i est inférieur ou égal à 2 à des fins d'optimisation, basée sur la présence d'un comportement non défini pour les valeurs supérieures à 2. Par conséquent, la condition de boucle est considérée comme toujours vraie.

Pour remédier à ce problème et garantir une exécution correcte, il est crucial d'éliminer le comportement indéfini en révisant la condition pour s'assurer qu'elle se termine

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!