xazax.hun added a comment. > Since we have CallExpr, we can easily conjure up an SVal. But I don't see how > I can do it similarly in this patch.
You should have a `CallExpr` for `std::make_unique` too. I believe that expression is used to determine how the conjured symbol was created (to give it an identity). So probably it should be ok to use the `make_unique` call to create this symbol (but be careful to create the symbol with the right type). 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
