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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
