[PATCH] D77792: [analyzer] Extend constraint manager to be able to compare simple SymSymExprs

[Valeriy Savchenko via Phabricator via cfe-commits]

vsavchenko added a comment.

Hi @baloghadamsoftware

Great job!  I also wanted to support more operations for range-based logic.

However, I don't think that this is the right place to make this kind of assumptions.  A couple months ago, I added the `SymbolicRangeInferrer` component to aggregate all of the reasoning we have about range constraints and I strongly believe that the logic from this patch should be integrated in that component.


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

https://reviews.llvm.org/D77792