Synopsis

(Required) The value of an expression of floating type shall not be implicitly converted to a different underlying type if: (a) it is not a conversion to a wider floating type.

Enabled by default

Yes

Severity/Certainty

Low/Medium

Full description

An expression of floating type was found that is implicitly converted to a narrower underlying type.

Coding standards

Code examples

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

void example(void) {
  double pc[10];
  float x = pc[5]; // architecture dependent
}

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

void example(void) {
  unsigned char c;
  float x = c;
}