[PATCH] D86465: [analyzer][solver] Redesign constraint ranges data structure

Mon Mar 22 01:36:40 PDT 2021

vsavchenko added a comment.

In D86465#2637186 <https://reviews.llvm.org/D86465#2637186>, @steakhal wrote:

> Ah, I wanted to give it a go, but the bots caught an assertion failure for the parent revision of this. See the details at the Bugzilla ticket <https://bugs.llvm.org/show_bug.cgi?id=49642>.
>
> What is more concerning is that this patch resolves that assertion failure. I guess it implies it can not be NFC?
> Regardless, I'm gonna wait to get that issue fixed before I have a deeper look.

Hmm, I tried it on that test without the fix, and the assertion failure is there.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86465