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

Mon Jun 21 09:11:24 PDT 2021

martong added a comment.

In D103314#2829806 <https://reviews.llvm.org/D103314#2829806>, @uabelho wrote:

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

Thanks Mikael for the reproducer, I am going to debug tomorrow.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103314