Etrange étrange

Marsh Posté le 12-07-2006 à 12:26:37

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

Affichage gdb :

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 :

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 ?

Reply

Marsh Posté le 12-07-2006 à 12:26:37

Reply

Marsh Posté le 12-07-2006 à 12:42:27

pour t'assurer de l'intégrité de i, dans la boucle
const int c_i = i;
et utilise c_i a la place de i

Reply

Marsh Posté le 12-07-2006 à 12:45:56

Le soucis est que le code provient d'une bibliothèque, et je n'ai pas très envie de la modifier ...

Reply

Marsh Posté le 12-07-2006 à 12:56:56

Bon finalement je l'ai fait ...
Revoici donc le code source (juste la boucle for)

Code :

79 for (int i=n; i--; ) {
80 const int c_i = i;
81 if (ts[c_i].a > 0) {
82 min += ts[c_i].a*ts[c_i].x.min();
83 max += ts[c_i].a*ts[c_i].x.max();
84 } else {
85 max += ts[c_i].a*ts[c_i].x.min();
86 min += ts[c_i].a*ts[c_i].x.max();
87 }
88 }

et l'affichage gdb ...

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=0x3979550, icl=ICL_DEF) at gecode/minimodel/lin-expr.cc:82
82 min += ts[c_i].a*ts[c_i].x.min();
(gdb) print c_i
No symbol "c_i" in current context.
(gdb) print i
$1 = 3
(gdb) print n
$2 = 2

est-ce normal qu'il ne trouve pas la variable "c_i" ?
Et "i" a encore bougé...

Reply

Marsh Posté le 12-07-2006 à 14:14:07

question:

GECODE_AUTOARRAY(Int::Linear::Term, ts, n+1);

si ça crée un tableau/vecteur de taille n+1, ça va donc de 0 à n en indice.

hors:

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

va de n-1 à 0 inclus en décrémentant.

normal - pas normal ?

Message édité par bjone le 12-07-2006 à 14:14:30

Reply

Marsh Posté le 12-07-2006 à 16:20:32

Pour la taille des tableaux : je n'ai aucune idée si c'est normal ou pas ... La bibliothèque en question est assez mystérieuse, mal documentée et incante de la magie noire ... alors pour la question de la taille des tableaux : je n'en sais rien !!!

En tout cas, j'ai résolu le problème. J'avais des données mal initialisées, ce qui a du provoquer du "code aléatoire"... va savoir !

Merci quand même...

Reply

Etrange étrange

Sujets relatifs:

Leave a Replay