MISRAC2004-10.1_c
Synopsis
(Required) The value of an expression of integer type shall not be implicitly converted to a different underlying type if: (c) the expression is not constant and is a function argument.
Enabled by default
Yes
Severity/Certainty
Low/Medium

Full description
A non-constant expression of integer type was found that is implicitly converted to a different underlying type in a function argument.
Coding standards
- MISRA C:2004 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.
Code examples
The following code example fails the check and will give a warning:
void function(long long argument);
void example(void) {
int x = 4;
function(x);
}
The following code example passes the check and will not give a warning about this issue:
void function(long argument);
void example(void) {
function(4);
}