Discussion :

[Narom]

Bonjour,

J'ai un petit problème avec Valgrind qui me signale un "Conditional jump or move depends on uninitialised value(s)" lors de l'affichage d'une liste chaînée.

Les structures :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
typedef void Objet;
 
/* le type Element (élément de la liste) */
struct s_Element {
  Objet* reference; /* référence un objet */
  struct s_Element* suivant; /* élément suivant de la liste */
  struct s_Element* precedent; /* élément suivant de la liste */
};
typedef struct s_Element Element;
 
/* le type Liste */
struct s_Liste {
  Element* premier; /* premier élément de la liste */
  Element* dernier; /* dernier élément de la liste */
  int nbElt; /* nombre d'élements dans la liste */
  int type; /* type de liste */
  char* (*toString) (Objet*);
  int (*comparer) (Objet*, Objet*);
};
typedef struct s_Liste Liste;

La portion de code incriminée :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
 
void afficherListe(Liste* l) {
  Element* e = l->premier;
 
  printf("%d elements : ", nbEltListe(l));
 
  while(e != NULL) {
    printf("%s ", l->toString(e->reference));
    e = e->suivant;
  }
}

Le programme compile bien en -Wall -ansi et affiche ce qui est attendu :

Code :

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

1
2
 
5 elements : pladamousse kikoo test lol pasteque

Or Valgrind indique :

Code :

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

1
2
3
4
 
==10534== Conditional jump or move depends on uninitialised value(s)
==10534==    at 0x8048B16: afficherListe (Liste.c:146)
==10534==    by 0x8048C51: main (main.c:38)

C'est-à-dire que mon pointeur sur Element e ne serait pas initialisé, or l->premier l'est à l'initialisation de la liste (=NULL), et plus encore il l'est car il m'affiche ma liste correctement...
Je me demande donc si ce n'est pas simplement Valgrind qui me sort une fausse erreur. Et comment faire pour avoir un memcheck "propre" !

Merci à vous !

[brachior]

L'erreur de valgrind n'est pas forcement là où tu le penses,
La pile d'appel est importante et doit être prise en compte ...

Peut on voir l'appel du main ?

[souviron34]

euh.. Je crois que c'est pourtant indiqué clairement :

Conditional jump or move depends on uninitialised value(s

à la ligne 534..

Tu as donc à la ligne 534 quelque chose que tu utilises dans un test ou quelque chose de similaire alors qu'il peut ne pas être initialisé ..

Ce quelque chose il faut voir la ligne 534 por savoir laquelle c'est..

[Narom]

Le problème est corrigé, même si je ne l'ai pas bien compris.
Comme je voulais juste tester rapidement mon tda liste, j'insérais directement un pointeur vers une chaîne de caractères. En faisant un test plus réaliste (chaîner des objets de type structure), mon problème a disparu.
Je n'ai pas changé du tout le code de ma liste.

Merci en tout cas !

[Narom]

En fait, ça n'avait rien à voir avec le type de données que je référençais dans ma liste. J'avais juste un oubli dans une des procédures d'insertion dans la liste ce qui fait qu'effectivement une variable n'était pas initialisée, même si ça ne gênait pas du tout le fonctionnement.
Valgrind rocks !