C++

Etrange étrange

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : Etrange étrange

fabllot

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 ?

Publicité

skelter

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

fabllot

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

fabllot

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é...

bjone

Insert booze to continue

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

fabllot

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...

FORUM HardWare.fr

Programmation

C++

Etrange étrange

Sujets relatifs
parse error : vraiment etrange	Mauvais lancement de cookie, comportement étrange
Compilation jsp, caractères étrange, prob d'encoding ?	Un bug étrange
Erreur étrange avec flottants	Dépassement de capacité étrange
[PHP] Bug étrange avec strftime (résolu)	Probleme étrange avec realloc ...
Etrange	Inversion de matrices : bug etrange
Plus de sujets relatifs à : Etrange étrange

Page générée en 0.041 secondes