[PATCH] D49361: [analyzer] Detect pointers escaped after return statement execution in MallocChecker

Artem Dergachev via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Jul 30 11:45:16 PDT 2018


NoQ added inline comments.


================
Comment at: lib/StaticAnalyzer/Checkers/MallocChecker.cpp:2488
+
+  checkPreStmt(S, C);
+}
----------------
Let's do a common sub-function, similarly to how `MallocChecker::checkPointerEscape` and `MallocChecker::checkConstPointerEscape` both call `MallocChecker::checkPointerEscapeAux`. Should prevent us from unleashing `addTransition` hell if the code becomes more complicated.


https://reviews.llvm.org/D49361





More information about the cfe-commits mailing list