J'avais eu ce genre de souci il y a bien longtemps, avec une valeur passée de 64 bits à 80 bits dans le x87, qui du coup n'était plus égale à la valeur initiale, sauf en mode debug (oui il faut toujours comparer la différence à un epsilon près plutôt que l'égalité pour des flottants). C'est toujours un poil long à trouver ce genre de petit souci.
[^] # Re: D'autres histoires de bugs dans les processeurs
Posté par Benoît Sibaud (site web personnel) . En réponse au lien the bug 323 community, where all x87 floating point errors in gcc come to die! . Évalué à 5.
J'avais eu ce genre de souci il y a bien longtemps, avec une valeur passée de 64 bits à 80 bits dans le x87, qui du coup n'était plus égale à la valeur initiale, sauf en mode debug (oui il faut toujours comparer la différence à un epsilon près plutôt que l'égalité pour des flottants). C'est toujours un poil long à trouver ce genre de petit souci.