[PATCH] D104616: [analyzer][WIP] Model comparision methods of std::unique_ptr

[Deep Majumder via Phabricator via cfe-commits]

RedDocMD added a comment.

In D104616#2834770 <https://reviews.llvm.org/D104616#2834770>, @xazax.hun wrote:

> In D104616#2834714 <https://reviews.llvm.org/D104616#2834714>, @NoQ wrote:
>
>> Why not simply delegate this job to `assume(evalBinOp(...))` over raw pointer values, which already has all this logic written down nicely?
>
> This is what I had in mind, I just did not want to spoil it :)

Looks like I have wasted a good deal of effort. :(


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104616