[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,

I'm seeing a failed assertion with this patch.
Reproduce with

  clang --analyze bbi-57338.c

Result:

  clang: /repo/uabelho/master-github/llvm/include/llvm/ADT/APSInt.h:148: bool llvm::APSInt::operator<(const llvm::APSInt &) const: Assertion `IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"' failed.

F17516582: bbi-57338.c <https://reviews.llvm.org/F17516582>


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103314