[PATCH] D103750: [analyzer][WIP] Handle std::make_unique for SmartPtrModeling

Deep Majumder via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Jun 7 11:05:14 PDT 2021


RedDocMD marked an inline comment as done.
RedDocMD added a comment.

In D103750#2801555 <https://reviews.llvm.org/D103750#2801555>, @NoQ wrote:

> Yes I think you should totally do an `evalCall()` here. The function has no other side effects apart from making a pointer so it's valuable to fully model it so that to avoid unnecessary store invalidations.

Am I not doing that now? I didn't get this point.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103750



More information about the cfe-commits mailing list