Discussion :

[giova_fr]

Bonjour à tous.
Je n'ai pas l'habitude de demander de l'aide sur des problèmes de debuggage, mais là je tombe sur quelquechose de complétement dingue !

Voici ma ligne de code :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

int test = ( (resultat * b ) == a )

a , b et resultat sont de type double

Je travaille sur debian avec eclipse et gcc en utilisant le standard c99

Dans le expression watcher je vois ceci :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
( (resultat * b ) == a )       int           1
test                           int           0

Comment est ce possible que la partie droite de mon instruction obtienne bien le bon type et la bonne valeur, alors que la partie gauche (une simple affectation) obtienne une valeur différente et erronnée????

Mon code est très simple, un seul thread...

[Matt_Houston]

Je ne connais pas ton IDE mais si l'affectation à test n'a pas encore eu lieu cela me semble tout à fait normal.

Où se trouve le pointeur d'instruction au moment où tu es témoin de ce comportement ?

[dalfab]

Bonjour,

Cela peut arriver quand on debugge du code optimisé, la variable test étant peu ou pas utilisée n'existe finalement pas du tout.
La déclarer volatile peut changer les choses.

[Bktero]

Bonjour,

Cela peut arriver quand on debugge du code optimisé, la variable test étant peu ou pas utilisée n'existe finalement pas du tout.
La déclarer volatile peut changer les choses.

Il faut surtout compiler en mode debug, avec -g, -O0 ou encore -Og.

Ce n'est pas une question de peu ou pas utilisé. C'est simplement le principe de l'optimisation : utiliser au mieux les ressources. Cela passe souvent pas un inlining des variables, qui sont "placées" dans des registres.

[giova_fr]

Merci pour vos réponses.
En fait j'ai limité le code ici à son maximum.

Dans les fait, j'avais donc une fonction qui retournait cette abération.

En scindent ma ligne, j'ai pu résoudre le problème :
avant :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
int TestDivision(double a, double b, double resultat)
{
	return ( a == 0 || ( (resultat * b ) == a ) ) ? RESULTAT_VALIDE : RESULTAT_INVALIDE;
}

maintenant :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
int TestDivision(double a, double b, double resultat)
{
	double test = (resultat * b );
	return ( a == 0 || ( test == a ) ) ? RESULTAT_VALIDE : RESULTAT_INVALIDE;
}

Optimisation ou pas, je suis surpris par le phénomène...

[foetus]

Sans jouer les oiseaux de mauvaises augures ton code ne vaut pas tripette: on ne doit jamais comparer des flottants avec une égalité ==