Next: , Previous: Explicit_Full_Discrete_Ranges, Up: Predefined Rules


23.6.15 Float_Equality_Checks

Flag all calls to the predefined equality operations for floating-point types. Both “=” and “/=” operations are checked. User-defined equality operations are not flagged, nor are “=” and “/=” operations for fixed-point types.

This rule has no parameters.