Je crois que personne ne comprend vraiment de quoi ils parlent et surtout pas eux, mais bon c'est pas grave ^^

edit : Pollux > ben si je donne comme relation d'équivalence sur les expressions C : deux expressions sont équivalentes si et seulement si la norme implique qu'elles sont toujours évaluées à la même valeur (donc ça ne dépend bien que du comportement du programme), alors il existe bien un entier N tel que (float) (N+N-N) ne soit pas équivalent à (float) N + (float) N - (float) N, donc la citation est vraie et je vois mal ce que cette relation d'équivalence a de "fondamentalement buggé"...

[ancien post]Pollux > donc si je t'exprime clairement, ça donne : il n'existe pas de relation d'équivalence sur les expressions C telle que : (a) deux expressions qui selon la norme doivent toujours être évaluées à la même valeur sont équivalentes et (b) il existe un entier N tel que (float) (N+N-N) ne soit pas équivalent à (float) N + (float) N - (float) N ?
(le (a) est une tentative de traduction de "ne dépend que du comportement du programme")[/ancien post]
(multicross)