Back to all issues

Issue 5270

Bug: Some saturation/overflow targets for Sum block reported incorrectly as "unreachable"


SubmittedProductStatus
2023-08-02Reactis for SimulinkResolved in 2023.0.1 (released Aug 21, 2023; release notes)
Resolved in 2022.2.3 (released Aug 21, 2023; release notes)

If a "Sum" block operates on fixed-point types, the rounding mode is different from "Zero" and the accumulator data type has (for 2-input Sums) only a single bit more range than the input types, Reactis may report a saturation target as unreachable or an overflow exception as "cannot be violated".