tomasz-kaminski-sonarsource added a comment.
Without the changes, out of the following unsatisfiable conditions:
A) `(l - 1000) > 0`
B) `l > 1000`
C) `l > 1000L`
D) `(l + 0L) > 1000`
CSA was considering A and B to satisable. The `l` is `(long)(x + 1 - 10U)` and
`x` is in range `[10, 100]` so no o
tomasz-kaminski-sonarsource created this revision.
tomasz-kaminski-sonarsource added reviewers: vsavchenko, NoQ, steakhal.
Herald added a subscriber: martong.
Herald added a project: All.
tomasz-kaminski-sonarsource requested review of this revision.
Herald added a project: clang.
Herald added a su
