Page History

Can detect some violations of this rule. However, it does not flag implicit casts, only explicit ones

Coverity

MISRA_CAST (needs verification)

Can detect instances where implicit float conversion is involved: implicitly converting a complex expression with integer type to floating type, implicitly converting a double expression to narrower float type (may lose precision), implicitly converting a complex expression from float to double, implicitly converting from float to double in a function argument, and so on

Float conversion overflow, Integer conversion overflow, Unsigned integer conversion overflow

Overflow when converting between floating point data types

Overflow when converting between integer types

4450, 4451,
4452, 4453,
4454, 4462, 4465