[PATCH] D35670: [StaticAnalyzer] Handle LoopExit CFGElement in the analyzer
Devin Coughlin via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Aug 7 21:07:46 PDT 2017
dcoughlin added inline comments.
================
Comment at: include/clang/Analysis/ProgramPoint.h:658
+class LoopExit : public ProgramPoint {
+public:
----------------
Can you add a comment explaining what meaning of this program point is.
================
Comment at: lib/StaticAnalyzer/Core/CoreEngine.cpp:586
+ if ((*Block)[Idx].getKind() == CFGElement::LoopExit) {
+ WList->enqueue(N, Block, Idx+1);
----------------
I'm surprised both this and the checks for N's location above are needed. How does this arise?
https://reviews.llvm.org/D35670
More information about the cfe-commits
mailing list