Synopsis

(Required) The value of an expression of floating 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

Full description

A non-constant expression of floating type was found that is implicitly converted to a different underlying type in a return expression.

Coding standards

Code examples

The following code example fails the check and will give a warning:

double example(void) {
  float x = 4;
  return x; // architecture dependent
}

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

double example(void) {
	return 4.0;
}