Etrange étrange étrange

Version imprimable

Voici une petite erreur que je viens d'avoir, et dont je voudrais avoir vos avis...

Affichage gdb :

Code:

1
2
3
4
5
6
7
8
9
 
Program received signal EXC_BAD_ACCESS, Could not access memory.
Reason: KERN_INVALID_ADDRESS at address: 0x09b608d6
0x022a0134 in Gecode::MiniModel::LinExpr::post (this=0xbfffe41c, home=0x397a0a0, icl=ICL_DEF) at gecode/minimodel/lin-expr.cc:81
81                min += ts[i].a*ts[i].x.min();
(gdb) print i
$3 = 3
(gdb) print n
$4 = 2

Code source du fichier lin-expr.cc

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
 
00073     IntVar
00074     LinExpr::post(Space* home, IntConLevel icl) const {
00075       GECODE_AUTOARRAY(Int::Linear::Term, ts, n+1);
00076       (void) ax->fill(ts,0,sign);
00077       double min = sign*-c;
00078       double max = sign*-c;
00079       for (int i=n; i--; )
00080         if (ts[i].a > 0) {
00081           min += ts[i].a*ts[i].x.min();
00082           max += ts[i].a*ts[i].x.max();
00083         } else {
00084           max += ts[i].a*ts[i].x.min();
00085           min += ts[i].a*ts[i].x.max();
00086         }
00087       if (min < Limits::Int::int_min)
00088         min = Limits::Int::int_min;
00089       if (max > Limits::Int::int_max)
00090         max = Limits::Int::int_max;
00091       IntVar x(home, static_cast<int>(min), static_cast<int>(max));
00092       ts[n].x = x;
00093       ts[n].a = -1;
00094       Int::Linear::post(home, ts, n+1, IRT_EQ, sign*-c, icl);
00095       return x;
00096     }

Petites explications :
Le code source émane d'une librairie C++ (Gecode)
Le code source mis ci-dessus est bien celui du bon fichier (etc )

Ce qui est étrange c'est qu'au sein de la boucle "for" (lignes 79 à 86), la variable "i" n'est jamais incrémentée, pourtant gdb indique que sa valeur (=3) est supérieure à sa valeur d'initialisation (=2)...

Y comprenez vous quelque chose ?

12/07/2006, 12h52
10_GOTO_10

Il peut y avoir des tas de raisons, par exemple:

- Corruption de mémoire dans une des fonctions appelées
- Dépassement de capacité de la variable i: si n est négatif, i décroit jusqu'à MIN_INT (- 2147000000 et des poussières) , passe à MAX_INT (+2147000000) à l'itération suivante, et décroit jusqu'à zéro.
12/07/2006, 13h00
Fabllot

Citation:

Envoyé par 10_GOTO_10

- Dépassement de capacité de la variable i: si n est négatif, i décroit jusqu'à MIN_INT (- 2147000000 et des poussières) , passe à MAX_INT (+2147000000) à l'itération suivante, et décroit jusqu'à zéro.

Je ne pense pas... "i" vaut 2 à l'initilisation et dans la la condition "i--" empêche i de passer dans les négatifs ...

Citation:

Envoyé par 10_GOTO_10

Il peut y avoir des tas de raisons, par exemple:
- Corruption de mémoire dans une des fonctions appelées

c'est peut-être cela ... je fait fouiller
12/07/2006, 13h30
Matthieu Brucher

Citation:

Envoyé par Fabllot

Je ne pense pas... "i" vaut 2 à l'initilisation et dans la la condition "i--" empêche i de passer dans les négatifs ...

Bien sale ce truc...
12/07/2006, 13h35
Médinoc

En effet, utiliser i>=0 dans la condition et i-- dans l'action serait bien plus propre
(penser à initialiser i à n-1 au lieu n dans ce cas)
12/07/2006, 13h38
Fabllot

Pour (re)préciser : ce code source est issue d'une bibliothèque que je n'ai pas implémenté ... je ne suis donc pas responsable de la propreté de ce code !!!
De toute manière, propre ou pas propre, cela ne résoud en rien le problème, car même si

Code:

for(int i=n;i--;)

est sale, cela reste parfaitement correct !
12/07/2006, 14h31
harsh
En fait je trouve ca plutot geniallissime... Optimisation compilo mis a part ca donne quoi en teme de nombre d'operation comparé a un
Code:

1 2 for(int i=n; i>=0; i--)
Une comparaison en moins juste, ce serait l'equivalent de
Code:

1 2 for(int i=n; i!=0; i--)
Mais != 0 ne serait il pas la comparaison la plus rapide?
12/07/2006, 16h16
Fabllot

Et le prix de la meilleure réponse revient à ... 10_GOTO_10 !!!

Et oui c'est lui qui a trouvé la solution :

Citation:

Envoyé par 10_GOTO_10

Il peut y avoir des tas de raisons, par exemple:
- Corruption de mémoire dans une des fonctions appelées

En fait, il y avait une mauvaise initialisation de données avant l'appel à cette fonction, ce qui a provoqué des réactions étranges !!!

Merci à 10_GOTO_10 qui avait vu juste !
12/07/2006, 16h34
10_GOTO_10

Citation:

Envoyé par Fabllot

Et le prix de la meilleure réponse revient à ... 10_GOTO_10 !!!

Je suis bien content, je ne m'y attendait pas du tout. Je remercie mon papa, ma maman, mon prof d'informatique, et tous ceux qui m'ont aidé.

Au fait... Qu'est-ce qu'on gagne ?