[PATCH] D111640: [Analyzer][NFC] Add RangedConstraintManager to ConstraintAssignor

Tue Oct 12 08:32:45 PDT 2021

ASDenysPetrov added a comment.

In D111640#3058622 <https://reviews.llvm.org/D111640#3058622>, @martong wrote:

> In D111640#3058304 <https://reviews.llvm.org/D111640#3058304>, @steakhal wrote:
>
>> It looks good.
>> Do you think we could remove the `RangedConstraintManager` abstraction?
>
> Definitely. What's more, we could split out cohesive implementation details like `RangeSet`, `EquivalenceClass` from `RangeConstraintManager.cpp` into their own implementation files.

Sound thought! +1

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D111640