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


More information about the cfe-commits mailing list