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

[Deep Majumder via Phabricator via cfe-commits]

RedDocMD added a comment.

The drawback of the current approach is that we are not using the following piece of information:

> std::unique_ptr created from std::make_unique is **not** null (to begin with)

I am not being able to use this info since I don't have access to the raw pointer, so cannot create a `SVal` and then constrain the `SVal` to non-null.
Any suggestions @NoQ, @vsavchenko , @xazax.hun, @teemperor?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D103750