Synopsis

(Required) The value of an expression of floating 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 floating type was found that is implicitly converted to a different underlying type in a function argument.

Coding standards

Code examples

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

void function(double argument);

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

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

void function(double argument);

void example(void) {
	function(4.0);
}