[PATCH] D24792: [analyzer] Fix crash in RetainCountChecker::checkEndFunction
Artem Dergachev via cfe-commits
cfe-commits at lists.llvm.org
Thu Sep 22 10:35:00 PDT 2016
NoQ added a comment.
Thanks, this makes a lot more sense to me!
Comment at: lib/StaticAnalyzer/Frontend/AnalysisConsumer.cpp:691
@@ -690,1 +690,3 @@
+ // Ignore autosynthesized code.
+ if (Mgr->getAnalysisDeclContext(D)->isBodyAutosynthesized())
I think this can be moved above, to `HandleCode()`. Because not only we need to skip path-sensitive analysis for synthesized bodies, but also we should probably skip the callback for AST checkers (`runCheckersOnASTBody()`, which corresponds to `check::ASTCodeBody`), and then we should also skip the `-analyzer-display-progress` debug output (the `DisplayFunction()` thingy).
More information about the cfe-commits