Back to all issues

Issue 5989

Bug: Targets that depend on mixed-type integer multiplication/division may be incorrectly marked as unreachable


SubmittedProductStatus
2026-07-02Reactis for SimulinkResolved in 2026.0.1 (released Oct 30, 2026; release notes)
Resolved in 2025.2.3 (released Oct 30, 2026; release notes)

A target may be incorrectly marked as unreachable if it depends on the result of integer multiplication or division whose result type and argument types are not all the same.

Furthermore, a target that was marked as unreachable in V2025 may not be marked as unreachable if it depends on the result of integer multiplication or division whose result type and argument types are not all the same and at least one of the arguments has type boolean.