[PATCH] D79232: [analyzer] Refactor range inference for symbolic expressions

Sat May 2 14:50:50 PDT 2020

ASDenysPetrov added a comment.

In D79232#2016065 <https://reviews.llvm.org/D79232#2016065>, @NoQ wrote:

> @baloghadamsoftware @steakhal @ASDenysPetrov will you be able to plug D49074 <https://reviews.llvm.org/D49074>/D50256 <https://reviews.llvm.org/D50256>/D77792 <https://reviews.llvm.org/D77792>/D77802 <https://reviews.llvm.org/D77802>/D78933 <https://reviews.llvm.org/D78933> into this so that to separate algebra from pattern-matching and ensure no performance regressions? Or is something still missing?

Sure. I'll plug my changes D77802 <https://reviews.llvm.org/D77802>/D78933 <https://reviews.llvm.org/D78933> as soon as this patch is available in the master.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79232