plantage lors de mon free

**salseropom** · 17/02/2006, 16h35

Bonjour, je ne comprends pas la cause du plantage de mon prgm. Je fais free(mon_vecteur) et là il plante. Voici le bout de code de mon main qui pause problème :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
 
char * name_file="therm.dat"; /* file containing thermodynamic data */
Species ** TabSpecies=malloc(nb_especes_*sizeof(*TabSpecies));
 assert(TabSpecies!=NULL);
 
for(i=0;i<nb_especes_;++i)
{               
    printf("zut\n");     
   TabSpecies[i]=CreateEmptySpecies();
   printf("zut2\n");
  LoadSpecies(name_file,NameSpecies[i],TabSpecies[i]);
  printf("zut3\n");
}

il affiche bien zut mais pas zut2, donc je suis allé dans ma fonction CreateEmptySpecies qui voici

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
22
23
24
25
26
27
28
29
30
31
 
Species * CreateEmptySpecies(void)
{
    Species * s=malloc(sizeof(*s));
    assert(s!=NULL);
    s->name="no name";
    s->M=0.0;
    s->T=0.0;
    if(s->LT!=NULL) 
   {
     printf("tyty\n");
     free(s->LT);
   }
    s->LT=malloc(7*sizeof(*s->LT));
    assert(s->LT!=NULL);
    printf("tata\n");
    if(s->HT!=NULL)
    {
       printf("tete\n");
      free(s->HT);
      printf("tete2\n");
   }
   printf("tata\n");
    s->HT=malloc(7*sizeof(*s->HT));
    assert(s->HT!=NULL);
    int i;
    for(i=0;i<7;++i)
	s->LT[i]=s->HT[i]=0.0;
 
    return s;
}

Là il affiche tata et tete. j'ai donc deux question : pourquoi mon free(s->HT) ne marche pas ? et pourquoi s->LT est NULL mais s->HT n'est pas NULL ? Je vous envoie mon species.h

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
 
#ifndef _SPECIES_H_
#define _SPECIES_H_
 
typedef struct {
    char * name; /* name */
    double M;    /* molar mass */
    double T;    /* critical temperature */
    double * LT; /* 7 low temperature coefficients */
    double * HT; /* 7 high temperature coefficients */
} Species;
 
Species * CreateEmptySpecies(void);
Species * CreateSpecies(char *,double,double,double *,double *);
void PrintSpecies(Species *);
void DestroySpecies(Species *);
void LoadSpecies(char *,char *,Species *);
 
#endif

Merci.

**gege2061** · 17/02/2006, 16h49

Bonjour,

Envoyé par salseropom

Code :

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

1
2
Species ** TabSpecies=malloc(nb_especes_*sizeof(*TabSpecies));
 assert(TabSpecies!=NULL);

C'est dommage de tester le retour de malloc qu'en phase de developpement, généralement si ça échouée c'est chez le client.

Envoyé par salseropom

Code :

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

1
2
3
4
5
6
 
    if(s->LT!=NULL) 
   {
     printf("tyty\n");
     free(s->LT);
   }

s->LT n'est pas initialisé (un compilateur bien réglé devrait te le dire)

**diogene** · 17/02/2006, 16h50

Code :

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

1
2
3
4
5
6
Species * CreateEmptySpecies(void) 
{ 
    Species * s=malloc(sizeof(*s)); 
......
    if(s->LT!=NULL) 
   {

s->SLT n'a pas été initialisée et contient n'importe quoi. Le free(s->SLT) va planter. C'est miracle que s->SLT soit par hasard NULL

Code :

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

1
2
3
4
5
6
7
     ...
     free(s->LT); 
   } 
    s->LT=malloc(7*sizeof(*s->LT)); 
    ......
    if(s->HT!=NULL) 
    {

Même remarque mais comme il a affiché tete, le miracle ne s'est pas reproduit et il plante sur free(s->HT)

Code :

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

1
2
3
4
5
6
       printf("tete\n"); 
      free(s->HT); 
      printf("tete2\n"); 
   }
.... 
}

Le code devrait simplement être qq chose du genre

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
Species * CreateEmptySpecies(void) 
{ 
    int i;
    Species * s=malloc(sizeof(*s)); 
    assert(s!=NULL); 
    s->name=NULL
    s->M=0.0; 
    s->T=0.0; 
    s->LT=malloc(7*sizeof(*s->LT)); 
    assert(s->LT!=NULL); 
    s->HT=malloc(7*sizeof(*s->HT)); 
    assert(s->HT!=NULL); 
    for(i=0;i<7;++i) 
     s->LT[i]=s->HT[i]=0.0; 
    return s; 
}

**salseropom** · 17/02/2006, 16h56

Bonjour, mercis pour vos réponses, je vais modifier mon code immédiatement.
Est-ce à cause de ces "miracles" que si je déplaçais ce bloque ailleurs dans mon main, mon prgm fonctionne très bien ?

**gege2061** · 17/02/2006, 17h03

Envoyé par salseropom

Bonjour, mercis pour vos réponses, je vais modifier mon code immédiatement.
Est-ce à cause de ces "miracles" que si je déplaçais ce bloque ailleurs dans mon main, mon prgm fonctionne très bien ?

Oui ça s'appel un comportement indéfini, ça va du plantage (le rêve, au moins c'est visible) ou comportement parfaitement normal jusqu'au changement d'ordi/plateforme : les joies du C

**diogene** · 17/02/2006, 17h05

Est-ce à cause de ces "miracles" que si je déplaçais ce bloque ailleurs dans mon main, mon prgm fonctionne très bien ?

Probablement. C'est une malchance car le programme est sérieusement vérolé mais semble fonctionner. Il aurait planté un jour ou l'autre.

gege2061 : C'est dommage de tester le retour de malloc qu'en phase de developpement, généralement si ça échouée c'est chez le client.

Tu devrais tenir compte de cette judicieuse remarque

**salseropom** · 17/02/2006, 17h14

Re, et que veut dire la remarque

gege2061 : C'est dommage de tester le retour de malloc qu'en phase de developpement, généralement si ça échouée c'est chez le client.

Merci.

**DaZumba** · 17/02/2006, 17h18

assert() n'est generalement inclus dans l'executable final qu'en mode 'debug'. En compilation finale (release), l'assert n'est pas inclus et le test n'est pas effectue.
Cela depend du compilateur utilise, cependant.

**gege2061** · 17/02/2006, 17h24

Envoyé par DaZumba

assert() n'est generalement inclus dans l'executable final qu'en mode 'debug'. En compilation finale (release), l'assert n'est pas inclus et le test n'est pas effectue.
Cela depend du compilateur utilise, cependant.

Euh ça ne dépend pas plutot si la macro NDEBUG est définie ou non ?

**salseropom** · 17/02/2006, 17h29

mais alors que dois faire pour vérifier si tous mes malloc n'ont pas échouer ?
Dois faire qqch du genre

Code :

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

1
2
3
 
fprintf(stderr,"erreur dans %s ligne %d fonction %s : pb d'allocation de mémoire\n",__FILE__,__LINE__,__FUNCTION__);
exit(1);

et ainsi j'ai enlevé mon assert ?

**DaZumba** · 17/02/2006, 17h39

Envoyé par gege2061

Euh ça ne dépend pas plutot si la macro NDEBUG est définie ou non ?

C'est exact. Je ne souhaitais pas rentrer dans les details.

Envoyé par salseropom

mais alors que dois faire pour vérifier si tous mes malloc n'ont pas échouer ?

Un test que la valeur retournee n'est pas nulle, puis on s'occupe de l'erreur. Ton exit() est un peu trop violent a mon gout (mais atexit() peut etre utile).
Personnellement, je prefere remonter un code d'erreur a main() qui s'occupe de liberer la memoire allouee et de fermer les fichiers eventuellement ouverts. On peut aussi creer des systemes plus complexes, type garbage collectors, qui se chargent d'essayer de trouver de la memoire en liberant des objets inutilises, puis on retente le malloc().

**salseropom** · 17/02/2006, 17h44

là j'avoue que ca dépasse mes capacités du C. Je vais changer mes exit(1) en return 1 mais le garbage collectors me dépasse...

**DaZumba** · 17/02/2006, 17h52

Envoyé par salseropom

le garbage collectors me dépasse...

Oh oui, je n'en fais jamais moi non plus. Je disais juste qu'il existe d'autres techniques que "j'ai echoue une fois, je quitte". Mais c'est autrement plus complexe, comme je disais.

**Emmanuel Delahaye** · 17/02/2006, 17h59

Envoyé par DaZumba

Envoyé par gege2061

Euh ça ne dépend pas plutot si la macro NDEBUG est définie ou non ?

C'est exact. Je ne souhaitais pas rentrer dans les details.

Oui et il se trouve qu'avec VC++6, par exemple, en mode Release, la macro NDEBUG est définie.

**Emmanuel Delahaye** · 17/02/2006, 18h03

Envoyé par salseropom

mais alors que dois faire pour vérifier si tous mes malloc n'ont pas échouer ?
Dois faire qqch du genre

Code :

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

1
2
3
 
fprintf(stderr,"erreur dans %s ligne %d fonction %s : pb d'allocation de mémoire\n",__FILE__,__LINE__,__FUNCTION__);
exit(1);

et ainsi j'ai enlevé mon assert ?

C'est une façon de faire, mais c'est un peu violent. On préfère remonter l'info (pointeur NULL) 'au-dessus' et laisser la couche supérieure prendre la décision.

Exemple :

http://emmanuel-delahaye.developpez.com/tad.htm

**salseropom** · 17/02/2006, 18h14

Bon, j'ai vais réfléchir à tout ça alors. Mais j'avoue que je n'ai pas encore votre niveau donc il y a certaines choses qui me dépassent.

Merci encore.

**Emmanuel Delahaye** · 17/02/2006, 18h43

Envoyé par salseropom

Mais j'avoue que je n'ai pas encore votre niveau donc il y a certaines choses qui me dépassent.

Il n'y a pas besoin d'un niveau particulier pour utiliser malloc(), tester le retour, initialiser ses variables avant de les utiliser etc.

Si tu trouves ça compliqué, aborde les sujets un par un en faisant des exercices qui n'utililisent qu'un seul concept nouveau à la fois.

plantage lors de mon free

C

Discussions similaires

Partager

Partager