Files
openide/java/java-impl/resources/inspectionDescriptions/DivideByZero.html
Mikhail Pyltsinandintellij-monorepo-bot 789fdc06c6 [java-inspection] IJ-CR-177592 IDEA-375813 It seems dataflow join works wrong for branching with division by zero
- added descriptions and a new option

GitOrigin-RevId: 4d105d96b1b8fd0bae8560134479c959aaaa7d20
2025-10-06 13:15:06 +00:00

11 lines
615 B
HTML

<html>
<body>
Reports division by zero or remainder by zero.
Such expressions will produce an <code>Infinity</code>, <code>-Infinity</code> or <code>NaN</code> result for doubles or floats,
and will throw an <code>ArithmeticException</code> for integers.
<p>When the expression has a <code>NaN</code> result, the fix suggests replacing the division expression with the <code>NaN</code> constant.
<!-- tooltip end -->
<p>Use the <b>Report conditional divide-by-zero</b> option to report divisions where the divisor may be zero in some execution paths.
This may occasionally produce false positives.
</body>
</html>