Skip to main content

IAR Embedded Workbench for RISC-V 3.40

MISRAC2004-10.1_c

In this section:
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

lowmedium.png
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);
}