[PATCH] D108753: [analyzer] MallocChecker: Add notes from NoOwnershipChangeVisitor only when a function "intents", but doesn't change ownership, enable by default

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Tue Sep 7 21:50:29 PDT 2021


NoQ accepted this revision.
NoQ added a comment.

This looks good!

I guess one way to make this //even more// conservative would be to match the variable inside the delete-expression to the one we expect to get deallocated.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D108753/new/

https://reviews.llvm.org/D108753



More information about the cfe-commits mailing list