problème lors de la compilation

Version imprimable

Bonjour, j'ai le code suivant :
Code:

1 2 3 4 5 6 7 Species * CopySpecies(Species * s_) { Species * s=CreateSpecies(s_->name,s_->M,s_->T,s_->LT,s_->HT); CopyViscosity(s_,s); return s; }
où le prototype de la fonction CopyViscosity est le suivant :
Code:

1 2 void CopyViscosity(Viscosity *,Viscosity *);
Pourquoi est-ce que mon compilateur ne m'a pas donné un message d'erreur ? Pire, pourquoi n'y a-t-il pas de bug lors de l'exécution ? Y a-t-il un comportement indéterminé (ce que je pense fort) ?

Voici mes structures utilisées :
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 26 struct structspecies { char * name; /* name */ double M; /* molar mass */ double T; /* threshold temperature */ double * LT; /* 7 low temperature coefficients */ double * HT; /* 7 high temperature coefficients */ Atoms * atoms; /* atomic composition (C, H, O, N) of the species */ Viscosity * visc; /* viscosity data */ }; typedef struct structspecies Species; typedef struct { double pot; /* Lennard-Jones potential parameter (the ratio epsilon_0/k_B) (in K) */ double sigma; /* Lennard-Jones collision diameter (in Angstrom) */ double sigma2; /* sigma*sigma */ double Tc; /* critical temperature (in K) */ double Pc; /* critical pressure (in atm) */ double Vc; /* critical volume (in cm^3/(g*mol)) */ double Zc; /* critical compressibility */ } Viscosity;
je compile avec les options d'Emmanuel :

Citation:

ED_PARANOIA=-O2 -Wchar-subscripts -Wcomment -Wformat=2 -Wimplicit-int \
-Werror-implicit-function-declaration -Wmain -Wparentheses \
-Wsequence-point -Wreturn-type -Wswitch -Wtrigraphs -Wunused \
-Wuninitialized -Wunknown-pragmas -Wfloat-equal -Wundef \
-Wshadow -Wpointer-arith -Wbad-function-cast -Wwrite-strings \
-Wconversion -Wsign-compare -Waggregate-return -Wstrict-prototypes \
-Wmissing-prototypes -Wmissing-declarations -Wmissing-noreturn \
-Wformat -Wmissing-format-attribute -Wno-deprecated-declarations \
-Wpacked -Wredundant-decls -Wnested-externs -Winline -Wlong-long \
-Wunreachable-code

L'erreur que j'obtenais à la fin de mon programme, lors de la libération de toute la mémoire allouée, était celle-ci :

Citation:

out(3093,0xa000d000) malloc: *** Deallocation of a pointer not malloced: 0x3098a0; This could be a double free(), or free() called with the middle of an allocated block; Try setting environment variable MallocHelp to see tools to help debug

ce qui se comprend bien vue ma faute de prototype... Mais pourquoi ai-je cette erreur sur mon Mac intel (gcc version 3.0) et pourquoi n'apparait-elle pas sur mon linux Suse pro 9.3 (gcc version 3.0) ?

Merci

30/10/2007, 22h57
Zartan

Le problème vient de la fonction CopyViscosity qui reçoit des Species en paramètre au lieu de Viscosity.

Il faudrait soit la réécrire pour qu'elle accepte des Species, soit pointer sur le membre Viscosity lors de l'appel:

CopyViscosity(s_->visc, s->visc) ;

Citation:

Envoyé par salseropom

Bonjour, j'ai le code suivant :

Il est incomplet :

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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
 
struct structspecies
{
  char * name; /* name */
  double M;    /* molar mass */
  double T;    /* threshold temperature */
  double * LT; /* 7 low temperature coefficients */
  double * HT; /* 7 high temperature coefficients */
  Atoms * atoms; /* atomic composition (C, H, O, N) of the species */
  Viscosity * visc; /* viscosity data */
};
 
typedef struct structspecies Species;
 
typedef struct
{
  double pot; /* Lennard-Jones potential parameter (the ratio epsilon_0/k_B)
                 (in K)
	       */
  double sigma; /* Lennard-Jones collision diameter (in Angstrom) */
  double sigma2; /* sigma*sigma */
  double Tc; /* critical temperature (in K) */
  double Pc; /* critical pressure (in atm) */
  double Vc; /* critical volume (in cm^3/(g*mol)) */
  double Zc; /* critical compressibility */
} Viscosity;
 
 
void CopyViscosity(Viscosity *,Viscosity *);
 
Species * CopySpecies(Species * s_)
{
  Species * s=CreateSpecies(s_->name,s_->M,s_->T,s_->LT,s_->HT);
  CopyViscosity(s_,s);
  return s;
}
 
 
int main(void)
{
   return 0;
}

produit :

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
 
Project   : Forums
Compiler  : GNU GCC Compiler (called directly)
Directory : C:\dev\forums\
--------------------------------------------------------------------------------
Switching to target: default
Compiling: main.c
main.c:8: error: syntax error before "Atoms"
main.c:8: warning: no semicolon at end of struct or union
main.c:9: warning: type defaults to `int' in declaration of `visc'
main.c:9: warning: data definition has no type or storage class
main.c:10: error: syntax error before '}' token
main.c: In function `CopySpecies':
main.c:32: warning: implicit declaration of function `CreateSpecies'
main.c:32: error: dereferencing pointer to incomplete type
main.c:32: error: dereferencing pointer to incomplete type
main.c:32: error: dereferencing pointer to incomplete type
main.c:32: error: dereferencing pointer to incomplete type
main.c:32: error: dereferencing pointer to incomplete type
main.c:32: warning: initialization makes pointer from integer without a cast
main.c:33: warning: passing arg 1 of `CopyViscosity' from incompatible pointer type
main.c:33: warning: passing arg 2 of `CopyViscosity' from incompatible pointer type
Process terminated with status 1 (0 minutes, 0 seconds)
7 errors, 7 warnings

31/10/2007, 09h49
salseropom

Citation:

Envoyé par Zartan

Le problème vient de la fonction CopyViscosity qui reçoit des Species en paramètre au lieu de Viscosity.

Il faudrait soit la réécrire pour qu'elle accepte des Species, soit pointer sur le membre Viscosity lors de l'appel:

CopyViscosity(s_->visc, s->visc) ;

Salut, oui j'avais bien vu que mon erreur était là. Mais pourquoi est-ce que mon compilo ne m'affiche qu'un simple warning et non une erreur ?

1 pièce(s) jointe(s)

Citation:

Envoyé par Emmanuel Delahaye

Il est incomplet :

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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
 
struct structspecies
{
  char * name; /* name */
  double M;    /* molar mass */
  double T;    /* threshold temperature */
  double * LT; /* 7 low temperature coefficients */
  double * HT; /* 7 high temperature coefficients */
  Atoms * atoms; /* atomic composition (C, H, O, N) of the species */
  Viscosity * visc; /* viscosity data */
};
 
typedef struct structspecies Species;
 
typedef struct
{
  double pot; /* Lennard-Jones potential parameter (the ratio epsilon_0/k_B)
                 (in K)
	       */
  double sigma; /* Lennard-Jones collision diameter (in Angstrom) */
  double sigma2; /* sigma*sigma */
  double Tc; /* critical temperature (in K) */
  double Pc; /* critical pressure (in atm) */
  double Vc; /* critical volume (in cm^3/(g*mol)) */
  double Zc; /* critical compressibility */
} Viscosity;
 
 
void CopyViscosity(Viscosity *,Viscosity *);
 
Species * CopySpecies(Species * s_)
{
  Species * s=CreateSpecies(s_->name,s_->M,s_->T,s_->LT,s_->HT);
  CopyViscosity(s_,s);
  return s;
}
 
 
int main(void)
{
   return 0;
}

produit :

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
 
Project   : Forums
Compiler  : GNU GCC Compiler (called directly)
Directory : C:\dev\forums\
--------------------------------------------------------------------------------
Switching to target: default
Compiling: main.c
main.c:8: error: syntax error before "Atoms"
main.c:8: warning: no semicolon at end of struct or union
main.c:9: warning: type defaults to `int' in declaration of `visc'
main.c:9: warning: data definition has no type or storage class
main.c:10: error: syntax error before '}' token
main.c: In function `CopySpecies':
main.c:32: warning: implicit declaration of function `CreateSpecies'
main.c:32: error: dereferencing pointer to incomplete type
main.c:32: error: dereferencing pointer to incomplete type
main.c:32: error: dereferencing pointer to incomplete type
main.c:32: error: dereferencing pointer to incomplete type
main.c:32: error: dereferencing pointer to incomplete type
main.c:32: warning: initialization makes pointer from integer without a cast
main.c:33: warning: passing arg 1 of `CopyViscosity' from incompatible pointer type
main.c:33: warning: passing arg 2 of `CopyViscosity' from incompatible pointer type
Process terminated with status 1 (0 minutes, 0 seconds)
7 errors, 7 warnings

Salut, j'envoie en PJ mon code : j'ai bien sûr laissé l'erreur de prototype dans ma fonction CopyViscosity().

Le simple warning que j'obtiens est :

Citation:

Sources/species.c: In function `CopySpecies':
Sources/species.c:64: warning: passing arg 1 of `CopyViscosity' from incompatible pointer type
Sources/species.c:64: warning: passing arg 2 of `CopyViscosity' from incompatible pointer type

pourquoi n'est-ce pas plutôt une ERREUR et non un simple warning ?

31/10/2007, 10h01
Emmanuel Delahaye

Citation:

Envoyé par salseropom

Le simple warning que j'obtiens est :
<...>
pourquoi n'est-ce pas plutôt une ERREUR et non un simple warning ?

Parce que le C est 'faiblement typé' et qu'il autorise ce genre de manip qui peut être valide si on sait ce qu'on fait. Ce warning (un plus du compilateur, comme tous les warnings) est à prendre très au sérieux.
31/10/2007, 10h05
salseropom

Citation:

Envoyé par Emmanuel Delahaye

Parce que le C est 'faiblement typé' et qu'il autorise ce genre de manip qui peut être valide si on sait ce qu'on fait. Ce warning (un plus du compilateur) est à prendre très au sérieux.

Re,
merci de cette précision (merci encore de ton site dans lequel il y a toutes ces options de compilation). Dans mon 1e post j'avais aussi posé une autre question :

L'erreur que j'obtenais à la fin de mon programme, lors de la libération de toute la mémoire allouée, était celle-ci :

Citation:

out(3093,0xa000d000) malloc: *** Deallocation of a pointer not malloced: 0x3098a0; This could be a double free(), or free() called with the middle of an allocated block; Try setting environment variable MallocHelp to see tools to help debug

ce qui se comprend bien vue ma faute de prototype... Mais pourquoi ai-je cette erreur sur mon Mac intel (gcc version 3.0) et pourquoi n'apparait-elle pas sur mon linux Suse pro 9.3 (gcc version 3.0) ?
31/10/2007, 10h11
Emmanuel Delahaye

Citation:

Envoyé par salseropom

Mais pourquoi ai-je cette erreur sur mon Mac intel (gcc version 3.0) et pourquoi n'apparait-elle pas sur mon linux Suse pro 9.3 (gcc version 3.0) ?

Parce que chaque système a ou non son mécanisme de surveillance de la mémoire... ou plutôt que les réactions de celui-ci sont plus ou moins visibles...

Eh, oui, les comportements indéterminés, ça fout la trouille ! (Surtout dans le monde réel, plus particulièrement quand le logiciel a la vie de personnes 'entre ses mains'...)
31/10/2007, 10h17
salseropom

Citation:

Envoyé par Emmanuel Delahaye

Parce que chaque système a ou non son mécanisme de surveillance de la mémoire... ou plutôt que les réactions de celui-ci sont plus ou moins visibles...

Eh, oui, les comportements indéterminés, ça fout la trouille ! (Surtout dans le monde réel, plus particulièrement quand le logiciel a la vie de personnes 'entre ses mains'...)

Effectivement !

Merci de tes réponses.