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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
