RedDocMD added a comment. @NoQ, I am using `trackExpressionValue` to add intersetingness to the `InnerPointerVal`. That solves the original problem. However, it is causing the **MoveChecker** to add extra warnings to use-after-move cases. Essentially, when a `unique_ptr` is moved and subsequently used, it triggers two warnings - one from `SmartPointerModelling` and another from `MoveChecker`. It seems to me that two separate checkers are tracking the same bug - use after move. So should I make another patch to modify `SmartPointerModelling` to not emit warnings on use after move (instead just leaving the GDM updating code)? Or is there a better solution to this?
Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D97183/new/ https://reviews.llvm.org/D97183 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits