problème de pointeur

Version imprimable

08/09/2010, 16h32
boboss123

problème de pointeur
bonjour,

pour ce code :
Code:

1 2 UINT32 *ptReg; ptReg = (UINT32*)&REGX; // REGX est un registre
J'ai le warning suivant :

Code:

warning: dereferencing type-punned pointer will break strict-aliasing rules

ça veut dire quoi exactement ?
Remarque : en remplaçant (UINT32*) par (void*) je n'ai plus le message d'erreur.
Que faut-il que je mette pour avoir un codage propre ?
08/09/2010, 17h18
DeathMixer
Bonjour,

Si tu es sous 'gcc', essaie avec l'option
Code:

1 2 $ gcc --fno-strict-aliasing ... (la suite) ...

En fait le compilo n'est pas réellement gcc mais une version modifiée de gcc.

La ligne de commande suivante me génère une erreur :
Code:

1 2 "C:\Program Files\Microchip\MPLAB C32\bin\pic32-gcc.exe" -mprocessor=32MX695F512L -x c -c "CustomHTTPApp.c" -o"Objects\CustomHTTPApp.o" -MMD -MF"Objects\CustomHTTPApp.d" -I"." -I"..\Microchip\Include" -g -D --fno-strict-aliasing -Wall -Os <command line>:1:1: macro names must be identifiers
=> est-ce que ça veut dire que mon compilo ne supporte pas cette option ou est-ce que j'ai mal écrit ma ligne de commande ?

=> j'ai vu sur le net que cette commande sert à supprimer les warning mais j'aimerais quand même savoir ce qu'il se passe exactement (le pourquoi du comment)...

09/09/2010, 22h13
Sve@r
Citation:
Envoyé par boboss123

bonjour,

pour ce code :

Code:

1 2 UINT32 *ptReg; ptReg = (UINT32*)&REGX; // REGX est un registre

J'ai le warning suivant :

Code:

warning: dereferencing type-punned pointer will break strict-aliasing rules

ça veut dire quoi exactement ?
Salut

Ca signifie que le cast de ton adresse &REGX en pointeur sur un UINT32 fait perdre la notion de l'objet pointé. Il est probable que REGX n'est pas de type UINT32 et le compilo te prévient qu'en faisant ça, il ne te garanti pas le bon résultat si tu demandes ensuite "*ptReg"

Citation:

Envoyé par boboss123

Remarque : en remplaçant (UINT32*) par (void*) je n'ai plus le message d'erreur.

Normal. Un pointeur void* est un pointeur universel. Dans ce cas là tu spécifies explicitement "je sais que je fais un truc compliqué mais je gère". Donc le compilo te laisse tranquille.

Citation:

Envoyé par boboss123

Que faut-il que je mette pour avoir un codage propre ?

Il faut déjà savoir ce qu'est REGX et pourquoi tu veux transformer un pointeur d'un type X en pointeur de type UINT32...

Citation:

Envoyé par boboss123

mais j'aimerais quand même savoir ce qu'il se passe exactement (le pourquoi du comment)...

Très bonne démarche. J'en connais qui ne veulent absolument pas se préoccuper de la cuisine interne mais qui se permettent quand-même d'asséner des affirmations péremptoires du haut de leur vanité. Mais eux,
un jour ou l'autre ils se font allumer par ceux qui, comme toi, cherchent à comprendre...
10/09/2010, 09h05
boboss123
Citation:

Envoyé par Sve@r

Il faut déjà savoir ce qu'est REGX et pourquoi tu veux transformer un pointeur d'un type X en pointeur de type UINT32...

En fait dans mon µControlleur, j'ai plusieurs registres qui se suivent : REG0, REG1, REG2, ...
Ce que je voulais faire, c'est mettre l'adresse du registre dans un pointeur puis de faire la boucle suivante pour récupérer les différentes valeurs :
Code:

1 2 3 4 5 UINT32 *ptReg; ptReg = (UINT32*)&REGX; // REGX est un registre for(i=0; i<nbReg; i++){ tab[i] = *ptReg++; }
=> j'ai défini le pointeur en UINT32* car les registres sont de 32bits : est-ce qu'il y a une meilleure méthode pour faire cela (je ne sais pas qu'il est le type d'un registre) ?

Citation:
Envoyé par boboss123
En fait dans mon µControlleur, j'ai plusieurs registres qui se suivent : REG0, REG1, REG2, ...
Ce que je voulais faire, c'est mettre l'adresse du registre dans un pointeur puis de faire la boucle suivante pour récupérer les différentes valeurs :
Code:

1 2 3 4 5 UINT32 *ptReg; ptReg = (UINT32*)&REGX; // REGX est un registre for(i=0; i<nbReg; i++){ tab[i] = *ptReg++; }
=> j'ai défini le pointeur en UINT32* car les registres sont de 32bits : est-ce qu'il y a une meilleure méthode pour faire cela (je ne sais pas qu'il est le type d'un registre) ?
Ok, je vois ce que tu veux faire. Il est probable que ton UINT32 est de la bonne taille mais comme le compilo ne le sait pas, il te met le warning.

Maintenant, pourquoi t'embêter à "recopier" la valeur de tes registres dans ton tableau ???
T'as qu'à stocker directement les adresses dans un tableau de pointeurs void * ce qui évite de "présupposer" de la taille de ton registre
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 void *tabReg[nbReg]; size_t i; void *ptReg; ptReg=&REGX; => tu stockes l'adresse d'un truc que tu ne connais pas dans une zone prévue pour recevoir un pointeur universel => zéro soucy for (i=0; i < nbReg; i++) { // Maintenant on stocke le pointeur dans le tableau tab[i]=ptReg; // Ensuite on décale le pointeur de "taille d'un registre" (compté en char) ptReg=(char*)ptReg + sizeof(REGX); } // Ici, toutes tes adresses sont mémorisées
Ensuite, le problème ne se posera que si tu veux récupérer la valeur du registre x. A ce moment là, tu devras taper dans "*tab[x]" et là, tu seras obligé de faire une supposition de la taille de la zone. Si tu imagines que c'est de l'UINT32 alors tu casteras le pointeur

Code:

printf("%d", *(UINT32*)(tab[x]));

13/09/2010, 08h53
boboss123

ok merci :ccool:
13/09/2010, 12h47
Sve@r

Citation:

Envoyé par boboss123

ok merci :ccool:

A la réflexion, pourquoi même recopier toutes les adresses puisque toutes sont dépendantes de la première ??? Te suffit de garder simplement la première

Code:

void *ptReg=&REGX

Ensuite, si tu veux la "n" ième valeur, alors te suffit de demander

Code:

printf("%d", *(UINT32*)((char*)ptReg + x * sizeof(REGX)))

Et en réfléchissant tout à fait, ça ne sert pas à grand chose non plus de mémoriser la première adresse puisqu'on l'à déjà

Code:

printf("%d", *(UINT32*)((char*)(&REGX) + x * sizeof(REGX)))
14/09/2010, 12h54
boboss123

ok