Skip to main content

IAR Embedded Workbench for RISC-V 3.40

MISRAC2004-10.1_d

In this section:
Synopsis

(Required) The value of an expression of integer type shall not be implicitly converted to a different underlying type if: (d) the expression is not constant and is a return expression.

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 return expression.

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:

long long example(void) {
	int x = 4;
	return x;
}

The following code example passes the check and will not give a warning about this issue:

long example(void) {
	return 4;
}