12-12-2013, 09:07 AM
The initial example had the underlying types of "( unsigned short + unsigned short ) + unsigned char". This does not violate rule 10.1 or any other MISRA-C:2004 type checking rule. There is also no violation of rule 12.1.
Posted by and on behalf of the MISRA C Working Group