#8917 Reanalyze: skip Division_by_zero for non-zero literal divisors

The exception analysis treats / and mod as throwing Division_by_zero. It now skips that when the divisor is a non-zero int, float or bigint literal, so x / 10 needs no @throws annotation. Divisions by a variable or by a zero literal are still reported.

Example ReScript

let foo = (x: int) => x / 10

Diagnostic output

Before: foo might throw Division_by_zero ... and is not annotated
with @throws(Division_by_zero)
After: no warning

Review

• Existing @throws(Division_by_zero) or @doesNotThrow on such expressions are now reported as redundant, which is correct.
• A negated non-literal divisor such as x / -y is still reported; only literal constants are recognised.

No effect

Output: unchanged

Tests

analysis+ tests/analysis_tests/tests-reanalyze/deadcode/src/exception/Division.res~ tests/analysis_tests/tests-reanalyze/deadcode/expected/exception.txt

• Changelog fragment changes/reanalyze-division-literal-divisor.fix.md
• No committed generated JS changes