NoQ added a comment. In D105821#2914082 <https://reviews.llvm.org/D105821#2914082>, @RedDocMD wrote:
> On running this patch on the `projects` directory, a bunch of projects emit > false-positives: mostly of the form `Potential memory leak`. This points to > the fact that without calling the destructor of the pointee type, we are > going to have a lot of false positives (408 for //one// project is the worst > I have seen). I have attached the result file. Can you attach all or some of the newly found html reports? Is this about invalidation in `~unique_ptr()` modeling being insufficient, or about us not doing anything at all with pointee on other occasions such as `.reset()` or might it be that the lack of invalidation for constructor inside `make_unique()` also plays its part? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D105821/new/ https://reviews.llvm.org/D105821 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits