[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