[PATCH] D103314: [Analyzer][solver] Simplify existing constraints when a new constraint is added
Valeriy Savchenko via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Jun 21 01:25:09 PDT 2021
vsavchenko 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>
Good that we found it that early! Thanks Mikael!
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D103314/new/
https://reviews.llvm.org/D103314
More information about the cfe-commits
mailing list