[previous] 1861 [next] The operands of this bitwise operator are of different 'essential signedness' but will generate a result of type 'signed int'.
Arithmetic type - Balancing

The operands of this &, | or ^ operator are of different essential type categories; one is 'essentially signed' and the other is 'essentially unsigned'. Both essential types are of lower rank than type int but the result of the operation will be of type int because of integral promotion.

For example: 


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

int f1861 (signed char a, unsigned char b)
{
  return (a & b);           /* 1861 */
}

MISRA-C:2004 Rules applicable to message 1861:

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