[previous] 4491 [next] A composite expression of 'essentially unsigned' type (%1s) is being converted to wider unsigned type, '%2s' on assignment.
Arithmetic type - Composite expressions

This message is issued whenever a composite expression of essentially unsigned type undergoes an assigning conversion to a wider unsigned integer type.

It is a common misconception among programmers that the type in which the composite expression is evaluated is influenced by the wider type. Instead, the type of the expression is determined solely from the type of its operands after any integral promotion. Therefore, wraparound may occur, which could be avoided if the operands were cast to the wider type, or rearranged so that wider operands appear first.

For example: 


/*PRQA S 1-9999 ++*/
/*PRQA S 4491 --*/

void foo (unsigned b);

unsigned f4491 (unsigned short a)
{
  unsigned uia = (a + a);   /* 4491 */

  foo (a + 1);              /* 4491 */

  uia = (a - 1);            /* 4491 */

  return (a * 2);           /* 4491 */
}

For the purposes of QAC conversion messages, types are ordered according to the configured size (-s option), by default; hence for a typical 32 bit configuration, types int and long will be considered equivalent. However, when the -strictrank option is specified, types will be ordered according to their rank; consequently int will be considered narrower than long.

MISRA-C:2004 Rules applicable to message 4491:

Rule  10.1  (Required) The value of an expression of integer type shall not be implicitly converted to a different underlying type if: a) it is not a conversion to a wider integer type of the same signedness, or b) the expression is complex, or c) the expression is not constant and is a function argument, or d) the expression is not constant and is a return expression

QA·C Source Code Analyser 8.1
MISRA-C:2004 Compliance Module 3.2
© 2012 Programming Research.
www.programmingresearch.com 		Personality Groups | Glossary | Message Index | MISRA-C:2004 Rule Index Contents