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

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

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 :)


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D104616