[PATCH] D125892: [analyzer] Implement assumeInclusiveRange in terms of assumeInclusiveRangeDual

Gabor Marton via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu May 19 02:23:50 PDT 2022


martong added a comment.

In D125892#3523296 <https://reviews.llvm.org/D125892#3523296>, @steakhal wrote:

> Okay, it took me a while to get what's going on.
> Do you have anything in mind to express it by slightly less indirection, references, templates and well, virtual functions xD

Okay, I see your point. Therefore, I am splitting up this patch into two:

1. The no-brainer copy-paste from `assumeDual` implementaton.
2. An NFC that tries to eliminate the copy paste coding. Efficiency and performance discussions should go there.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D125892



More information about the cfe-commits mailing list