[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?


More information about the cfe-commits mailing list