[PATCH] D124658: CSA Normalize SymIntExpr so the RHS is positive when possible

[Tomasz Kamiński via Phabricator via cfe-commits]

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 overflow happens.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D124658/new/

https://reviews.llvm.org/D124658