Next: Forbidden_Pragmas, Previous: Explicit_Full_Discrete_Ranges, Up: Predefined Rules
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.