Infinity、-Infinity 或 NaN 结果；对于整数，则抛出 ArithmeticException。
当表达式的结果为 NaN 时，该修正会建议将除法表达式替换为 NaN 常量。
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.