[PATCH] D47135: [analyzer] A checker for dangling internal buffer pointers in C++

Reka Kovacs via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Sat May 26 12:03:40 PDT 2018


rnkovacs added inline comments.


================
Comment at: lib/StaticAnalyzer/Checkers/MallocChecker.cpp:1661
+  case AF_CXXNewArray:
+  case AF_InternalBuffer: {
     if (IsALeakCheck) {
----------------
Is tying this new family to NewDeleteChecker reasonable? I did it because it was NewDelete that warned naturally before creating the new `AllocationFamily`. Should I introduce a new checker kind in MallocChecker for this purpose instead?


https://reviews.llvm.org/D47135





More information about the cfe-commits mailing list