[previous] MISRA C:2012  Rule-10.8:  (Required) [next] The value of a composite expression shall not be cast to a different essential type category or a wider essential type

Example Code: 



#pragma PRQA_MESSAGES_OFF 3112

#include "misra.h"
#include "m3cmex.h"


extern int16_t rule_1008( void )
{
    (UI)(sca + scb);                            /* 4393      */
    (DB)(uca + ucb);                            /* 4394      */
    (DB)(~uca);                                 /*      4398 */
    (DB)(uca << 2U);                            /* 4394 4398 */
    (SI)(fta + ftb);                            /* 4395      */

    (SI)(sca + scb);                            /* 4390      */
    (UI)(uca + ucb);                            /* 4391      */
    (UI)(~uca);                                 /*      4399 */
    (UI)(uca << 2U);                            /* 4391 4399 */
    (DB)(fta + ftb);                            /* 4392      */

    return 0;
}

QAC messages that encompass this guideline:

4390 A composite expression of 'essentially signed' type (%1s) is being cast to a wider signed type, '%2s'.
4391 A composite expression of 'essentially unsigned' type (%1s) is being cast to a wider unsigned type, '%2s'.
4392 A composite expression of 'essentially floating' type (%1s) is being cast to a wider floating type, '%2s'.
4393 A composite expression of 'essentially signed' type (%1s) is being cast to a different type category, '%2s'.
4394 A composite expression of 'essentially unsigned' type (%1s) is being cast to a different type category, '%2s'.
4395 A composite expression of 'essentially floating' type (%1s) is being cast to a different type category, '%2s'.
4398 An expression which is the result of a ~ or << operation has been cast to a different essential type category.
4399 An expression which is the result of a ~ or << operation has been cast to a wider type.


(c) The Motor Industry Research Association, 2012
QA C Source Code Analyser 8.1.2
MISRA C:2012 Compliance Module 1.0
© 2013 Programming Research
www.programmingresearch.com 		Personality Groups | Glossary | Message Index | MISRA C:2012 Rule Index Contents