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

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

xazax.hun added a comment.

In D103750#2828995 <https://reviews.llvm.org/D103750#2828995>, @RedDocMD wrote:

> What about this?

I believe that you might see `analyzer-eagerly-assume` in action. Basically, instead of keeping a constraint unknown, the analyzer can split the path eagerly. So you have one path where the constraint is assumed to be true and one where it is assumed to be false. I think the rationale was that the user is likely to branch on certain conditions and doing it eagerly can make the analysis more precise in some cases but I do not really remember the details. Hopefully Artem has some more contexts.



================
Comment at: clang/test/Analysis/smart-ptr-text-output.cpp:374
+}
\ No newline at end of file

----------------
Nit: we usually add new lines to the ends of the files.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103750