[previous] 4499 [next] An expression which is the result of a ~ or << operation has been converted to a wider essential type on assignment.
Arithmetic type - Assignment

This message is issued whenever a composite expression which is the result of a ~ or << operation undergoes an assigning conversion to a wider essential type.

It is a common misconception among programmers that the type in which the bitwise operation 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, top bits which could be represented in the wider type may be truncated.

For example: 


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

void foo (unsigned b);

unsigned f4499 (unsigned short a)
{
  unsigned uia = (a << 1);  /* 4499 */

  foo (a << 1);             /* 4499 */

  uia = (~a);               /* 4499 */

  return (~a);              /* 4499 */
}

For the purposes of QA·C 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.

QA·C Source Code Analyser 8.1.2
© 2013 Programming Research.
www.programmingresearch.com 		Personality Groups | Glossary | Message Index Contents