La totalité de MISR-C: 2012 Chapitre 12 En ce qui concerne les conversions du pointeur est assez difficile. Et à juste titre, puisque c'est un territoire très dangereux.
11.6 est une règle sonore qui interdit les conversions des entiers vers Void * . La justification consiste à bloquer les bugs d'alignement. Il n'y a pas beaucoup de raisons pour lesquelles vous voudriez de toutes les conversions de toute façon.
notamment, il existe également deux règles de conseil rigides mais consultatives 11.4 qui interdit les conversions des entiers aux pointeurs et 11,5 qui interdit à peu près l'utilisation de annulement * entièrement. Il n'est pas possible de faire une programmation liée au matériel et de suivre 11,4, de sorte que la règle doit être ignorée. Mais vous avez peu de raisons d'utiliser void * .
Dans cette distribution spécifique, vous pouvez vous éloigner en utilisant uint32_t et en évitant entièrement les pointeurs.
Dans le cas général de registre Access, vous devez effectuer une conversion avec volatile -Pointants qualifiés: (volatile uint32_t *) Adresse , en supposant que le MCU utilise 32 bits registres.
L'explication des règles 11.x inclut des commentaires que "cela peut être nécessaire lors de l'accès à des registres matériels". Si tel est un cas, une déviation (S5.4) est appropriée - et une partie délibérée de MISRA.
@Andrew; Je ne vois aucune raison pour laquelle une déviation est justifiée dans ce cas. Casting à A
Void * est jamais nécessaire. Les écarts doivent être utilisés lorsqu'il n'est pas raisonnable ou possible de se conformer à une règle; Ce n'est pas le cas ici, où la conformité est meilleur code .Je suggère respectueusement que le pointeur est effectivement * uint32_t et n'est que Nixed à annuler comme une tentative de contourner la règle ...