vrnithinkumar marked an inline comment as done. vrnithinkumar added inline comments.
================ Comment at: clang/lib/StaticAnalyzer/Checkers/SmartPtrModeling.cpp:556 + const LocationContext *LC = C.getLocationContext(); + InnerPointerVal = C.getSValBuilder().conjureSymbolVal( + CallExpr, LC, InnerPointerType, C.blockCount()); ---------------- xazax.hun wrote: > Don't we want to actually add InnerPointerVal to TrackedRegionMap in this > case? > > I might be wrong but I cannot find where do we actually record the fact that > this freshly conjured symbol belongs to the unique_ptr we are modeling. Thanks for catching that. We have to update the `TrackedRegionMap` to track the created conjureSymbolVal `InnerPointerVal`. Updated to add it to the `TrackedRegionMap` Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D86027/new/ https://reviews.llvm.org/D86027 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
