Rule 5-2-7

[dg1980]

Dear MISRA team,

IMHO, this rule is missing one important exception: casting to [unsigned]char* to access individual bytes is well defined in the standard (chapter 3.9 § 2)
In fact, you find this exception in MISRA C 2012 Rule 11.3.

[misra cpp]

One of the differences between C and C++ is that all structs in C are PODs. The section you reference of the C++ standard only applies to POD structs. In general this operation is unspecified in C++. In the narrow case where the behaviour is well defined, it could be allowed by deviation.

A future version will remove the need for the deviation where this behaviour is well defined