[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