![]() |
![]() |
4413 | ![]() |
||||
![]() | |||||||
| Arithmetic type - Assignment | |||||||
This message is issued whenever an expression of essentially character type undergoes an assigning conversion to a signed integer type. For example:
/*PRQA S 1-9999 ++*/
/*PRQA S 4413 --*/
void foo (int b);
int f4413 (char a)
{
int sia = a; /* 4413 */
foo (a + 1); /* 4413 */
sia = (a - 1); /* 4413 */
return a; /* 4413 */
}
MISRA-C:2004 Rules applicable to message 4413:
| Rule 6.2 (Required) | Signed and unsigned char type shall be used only for the storage and use of numeric values. |
| 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 |