Misra Rules 17.2 et 17.3

Bonjour à toutes et à tous,

Je travaille sur un programme qui fonctionne déjà correctement, je suis en charge d'éliminer toutes les MISRA rules et autres warnings sans "altérer" l'exécutable...

Je suis bloqué sur cette ligne de code notée LC :

Code:

---

i_RingBuf = (uint8)((pCurRowStart-pRingBufStart)/ pRoiDescriptor->usModuloWidth);

---

Elle me renvoie les deux lignes d'erreur suivantes :

Code:

---

1 2	error 946: (Note -- Relational or subtract operator applied to pointers [MISRA 2004 Rule 17.2, required], [MISRA 2004 Rule 17.3, required]) error 947: (Note -- Subtract operator applied to pointers [MISRA 2004 Rule 17.2, required], [MISRA 2004 Rule 17.3, required])

---

Les variables intervenant dans LC sont définies comme suit :

Code:

---

1 2 3 4 5 6 7 8 9 10 11

/* En paramètres d'entrée de la fonction */ const t_PixelData *const pRingBufStart, t_PixelData * pCurRowStart, const t_RoiDescriptor *const pRoiDescriptor   /* [...] */     /* Au début de la fonction */ uint8 i_RingBuf;   /*La ligne "incriminée" LC vient juste après cette déclaration*/ i_RingBuf = (uint8)((pCurRowStart-pRingBufStart)/ pRoiDescriptor->usModuloWidth);

---

Comme vous le voyez, de nouveaux types ont été définis ailleurs dans le logiciel : t_PixelData et t_RoiDescriptor, entre autres...


Alors voilà, je suis bloqué, j'ai tenté divers essais mais le compilateur renvoie des erreurs, sans parler de MISRA.

Par exemple en définissant un pointeur "différence" :

Code:

---

1 2 3 4 5

t_PixelData *subtraction_of_pointers;   subtraction_of_pointers = (uint8)(pCurRowStart-pRingBufStart);   i_RingBuf = (uint8)(subtraction_of_pointers/ pRoiDescriptor->usModuloWidth);

---

Décomposer le calcul en deux étapes intermédiaires ne donne pas plus de succès :

Code:

---

1 2 3 4 5 6 7 8

uint8 i_RingBuf1; uint8 i_RingBuf2; uint8 i_RingBuf;     i_RingBuf1 = ((uint8)(pCurRowStart))/ ((uint8)pRoiDescriptor->usModuloWidth); i_RingBuf2 = ((uint8)(pRingBufStart))/ ((uint8)pRoiDescriptor->usModuloWidth); i_RingBuf = i_RingBuf1 - i_RingBuf2;

---

Auriez-vous des idées pour me débloquer s'il vous plaît ?

Je vous remercie de m'avoir lu.

Bonne journée.

En continuant à chercher, j'ai pu améliorer un peu :

Code:

---

1 2 3

uint32 pt1 = (uint32)pCurRowStart; uint32 pt2 = (uint32)pRingBufStart; i_RingBuf = (uint8)((pt1-pt2)/ pRoiDescriptor->usModuloWidth);

---

Le compilateur est toujours mécontent mais un peu moins, et l'erreur me semble plus "abordable" :

Code:

---

1 2	error 923: (Note -- cast from pointer to unsigned long [Encompasses MISRA 2004 Rule 11.1, required], [MISRA 2004 Rule 11.3, advisory]) error 923: (Note -- cast from pointer to unsigned long [Encompasses MISRA 2004 Rule 11.1, required], [MISRA 2004 Rule 11.3, advisory])

---

La même erreur pour chacune des deux premières lignes.

Le calcul de i_RingBuf semble ne plus lui poser de problème.

Comment me débarrasser du "cast from pointer to unsigned long", là est la question...

Moi je me pose quand même une question.
Qu'est-ce qu'est censée retourner cette soustraction ?
Parce qu'effectivement, soustraire 2 pointeurs ne peut (normalement) pas faire quelque chose de beau.
A part si dans ces pointeurs ont été stockés des entiers, et à ce moment là, pourquoi avoir utilisé des pointeurs pour les stocker ?

EDIT :
Dans ton cas, je crois comprendre l'utilisation (genre le nombre de lignes entre la ligne courante et une ligne de référence).
Le warning ne serait-il pas lié à une prise en compte de l'architecture 64 bits (sur laquelle un pointeur ne sera pas sur un int32 mais sur un int64) ? Utilise peut-être un ptrdiff_t qui (il me semble) est fait pour ça.

Citation:

---

Envoyé par dragonjoker59

Moi je me pose quand même une question.
Qu'est-ce qu'est censée retourner cette soustraction ?
Parce qu'effectivement, soustraire 2 pointeurs ne peut (normalement) pas faire quelque chose de beau.
A part si dans ces pointeurs ont été stockés des entiers, et à ce moment là, pourquoi avoir utilisé des pointeurs pour les stocker ?

---

Alors déjà merci de ta réponse. ;)

Je pense que cette soustraction est censée renvoyer un "écart" entre deux adresses. Pt1 contient une adresse1, Pt2 contient une adresse2, alors Pt1-Pt2 donne le nombre de "cases de différence" ? (oui c'est mal dit).

Quant au "pourquoi avoir utilisé des pointeurs", je n'en ai pas la moindre idée. Je maîtrise très mal les rouages du logiciel (que je n'ai absolument pas codé), et je ne sais pas exactement ce qu'il fait fonction par fonction...
Le fait que ce soit des pointeurs a son importance par la suite dans la fonction, puisque ces variables sont réappelées en paramètres d'entrée d'autres fonctions...