Reports division by zero or remainder by zero. Such expressions will produce an Infinity, -Infinity or NaN result for doubles or floats, and will throw an ArithmeticException for integers.

When the expression has a NaN result, the fix suggests replacing the division expression with the NaN constant.

Use the Report conditional divide-by-zero option to report divisions where the divisor may be zero in some execution paths. This may occasionally produce false positives.