[PATCH] D103314: [Analyzer][solver] Simplify existing constraints when a new constraint is added

[Mikael Holmén via Phabricator via cfe-commits]

uabelho added a comment.

Hi,

Another failed assertion that started appearing with this patch:

  clang --analyze bbi-57589.c

which results in:

  clang: ../lib/Support/APInt.cpp:284: int llvm::APInt::compareSigned(const llvm::APInt &) const: Assertion `BitWidth == RHS.BitWidth && "Bit widths must be same for comparison"' failed.

F17570813: bbi-57589.c <https://reviews.llvm.org/F17570813>
Maybe it's the same root problem, but please make sure you fix both.
Thanks!


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103314