Pointeur de struct mal interprété

Version imprimable

Bonjour,

J'utilise la struct suivante :
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 typedef struct { unsigned char t; int a; int b; unsigned char e; unsigned char f; unsigned char g; } t_montype; .../... void FonctionAppellee(t_montype *m) { ..../.... } void FonctionAppelante() { t_montype p; // initialise les champs de p .../... // appelle FonctionAppellee FonctionAppellee(&p);
En fait, quand on regarde le contenu de la strcuture p AVANT l'appel, il est OK.
Quand on est dans FonctionAppellee, il n'est pas bon (mais la mémoire est OK). En fait, il semble que gcc ne voit pas la structure de la même manière... la mémoire est bonne, mais les m->e, m->a ... ne sont pas bons
Quand on sort de l'appel, il est OK à nouveau

Si je déplace les 3 unsigned char e, f, g après t, le problème disparaît

C'est très embêtant de devoir "penser" à aligner les structs, normalement, le compilateur nos décharge de ce travail.

Y'aurait-il une option de compilation qui perturberait ou qui manquerait ?

Merci

14/10/2019, 15h11
Médinoc

Tout est dans le même fichier source?

Et est-ce que le problème se manifeste hors du debugger?
Genre, que se passe-t-il si tu fais une fonction void afficher_montype(t_montype const *) qui dumpe le contenu de l'objet sur la sortie standard?
14/10/2019, 15h40
dalfab

C'est curieux,
on dirait que la gestion de l'alignement ne se fait pas.
Il n'y aurait pas juste avant la définition de la struct une directive du type #pragma align ?
Quel est le compilateur que tu utilises?
14/10/2019, 15h50
michelcky

Citation:

Envoyé par Médinoc

Tout est dans le même fichier source?

Et est-ce que le problème se manifeste hors du debugger?
Genre, que se passe-t-il si tu fais une fonction void afficher_montype(t_montype const *) qui dumpe le contenu de l'objet sur la sortie standard?

Le problème n'est pas lié au debogueur. Avec des printf, c'est pareil

En fait, la fonction appelée et la fonction appelante ne sont pas dans le même source.
14/10/2019, 15h52
michelcky

Citation:

Envoyé par dalfab

C'est curieux,
on dirait que la gestion de l'alignement ne se fait pas.
Il n'y aurait pas juste avant la définition de la struct une directive du type #pragma align ?
Quel est le compilateur que tu utilises?

C'est du gcc sous Linux et je n'ai pas de directives pragma.

Bonjour

En l'êtat on ne peut pas dire ce qui se passe. Il faudrait un code complet reproduisant le souci.

A titre d'exemple j'ai écrit ce test...

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
#include <stdio.h>
 
typedef struct {
	unsigned char	t;
	int		a;
	int		b;
	unsigned char	e;
	unsigned char	f;
	unsigned char	g;
} t_montype;
 
void FonctionAppellee(t_montype *m) {
	printf("t=%c\n", m->t);
	printf("a=%d\n", m->a);
	printf("b=%d\n", m->b);
	printf("e=%c\n", m->e);
	printf("f=%c\n", m->f);
	printf("g=%c\n", m->g);
}
 
void FonctionAppelante() {
	t_montype	 p;
 
	// initialise les champs de p
	p.t='t';
	p.a=542;
	p.b=817;
	p.e='e';
	p.f='f';
	p.g='g';
 
	// appelle FonctionAppellee
	FonctionAppellee(&p);
}
 
int main() {
	FonctionAppelante();
}

... qui a donné le résultat attendu (et compilé avec gcc sous Linux)

14/10/2019, 17h50
Guesset

Question

Bonjour,

C'est possible d'avoir les valeurs initialisées et les valeurs erronées des différents champs (si ces dernières sont stables) ?

Salutations
14/10/2019, 18h01
Médinoc

Vu que tes fonctions ne sont pas dans le même source, vérifie qu'elles voient toutes les deux la même déclaration.

Rajoute dans les deux fonctions des printf("%zu\n", offsetof(t_montype, f));
14/10/2019, 20h22
michelcky

Citation:

Envoyé par Médinoc

Vu que tes fonctions ne sont pas dans le même source, vérifie qu'elles voient toutes les deux la même déclaration.

Rajoute dans les deux fonctions des printf("%zu\n", offsetof(t_montype, f));

Ah oui, je vais ajouter cela pour voir.
Merci
14/10/2019, 20h24
michelcky

Citation:

Envoyé par Guesset

Bonjour,

C'est possible d'avoir les valeurs initialisées et les valeurs erronées des différents champs (si ces dernières sont stables) ?

Salutations

elles sont stables. Je veux dire que, à chaque exécution, on a les mêmes défauts, les mêmes valeurs fausses.
et quand je déplace mes 3 unsigned char de la fin de la struct après le 1er champs, tout se passe bien

Merci de ta contribution

Citation:
Envoyé par Sve@r
Bonjour

En l'êtat on ne peut pas dire ce qui se passe. Il faudrait un code complet reproduisant le souci.

A titre d'exemple j'ai écrit ce test...
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 #include <stdio.h> typedef struct { unsigned char t; int a; int b; unsigned char e; unsigned char f; unsigned char g; } t_montype; void FonctionAppellee(t_montype *m) { printf("t=%c\n", m->t); printf("a=%d\n", m->a); printf("b=%d\n", m->b); printf("e=%c\n", m->e); printf("f=%c\n", m->f); printf("g=%c\n", m->g); } void FonctionAppelante() { t_montype p; // initialise les champs de p p.t='t'; p.a=542; p.b=817; p.e='e'; p.f='f'; p.g='g'; // appelle FonctionAppellee FonctionAppellee(&p); } int main() { FonctionAppelante(); }
... qui a donné le résultat attendu (et compilé avec gcc sous Linux)
Oui, je l'ai essayé aussi
le problème du code complet, c'est qu'il est énorme. Et il embarque des lib externes qui obligent, par exemple, à des options de type -fPIC -no-pie et du coup, c'est compliqué à fournir ici

14/10/2019, 20h56
Sve@r

Citation:

Envoyé par michelcky

Oui, je l'ai essayé aussi

Et (tu ne l'as pas dit) je suppose que chez-toi ça a fonctionné nickel.

Citation:

Envoyé par michelcky

le problème du code complet, c'est qu'il est énorme. Et il embarque des lib externes qui obligent, par exemple, à des options de type -fPIC -no-pie et du coup, c'est compliqué à fournir ici

On te demande pas le code complet mais un exemple minimaliste d'un code qui reproduit le problème.

Et si tu n'arrives pas à reproduire le problème avec un code minimaliste, alors on peut orienter les hypothèses sur un UB causé par une erreur qui se situe totalement ailleurs et ça c'est le pire des cas parce que c'est introuvable (obligé d'examiner tout le code à la loupe). Te suffit d'écrire un truc comme char str[6]="coucou" (manque la place pour le '\0') pour être en menace d'UB...
15/10/2019, 08h10
michelcky

Résolu : Pointeur de struct :

Bonjour,

Il y avait un pragma pack(1) caché dans un include qui n'était pas compilé dans le même ordre entre les deux fichiers sources. Un source qui date de 20 ans :D :D :D
On utilisant un pragma pack push et pop, j'ai résolu le souci
Je clos.

Merci aux intervenants