diff options
Diffstat (limited to 'lib/Checker/UnreachableCodeChecker.cpp')
-rw-r--r-- | lib/Checker/UnreachableCodeChecker.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/Checker/UnreachableCodeChecker.cpp b/lib/Checker/UnreachableCodeChecker.cpp index e95e6a832d..e3d758f20a 100644 --- a/lib/Checker/UnreachableCodeChecker.cpp +++ b/lib/Checker/UnreachableCodeChecker.cpp @@ -33,8 +33,9 @@ namespace { class UnreachableCodeChecker : public CheckerVisitor<UnreachableCodeChecker> { public: static void *getTag(); - void VisitEndAnalysis(ExplodedGraph &G, BugReporter &B, - bool hasWorkRemaining); + void VisitEndAnalysis(ExplodedGraph &G, + BugReporter &B, + GRExprEngine &Eng); private: typedef bool (*ExplodedNodeHeuristic)(const ExplodedNode &EN); @@ -60,9 +61,9 @@ void clang::RegisterUnreachableCodeChecker(GRExprEngine &Eng) { void UnreachableCodeChecker::VisitEndAnalysis(ExplodedGraph &G, BugReporter &B, - bool hasWorkRemaining) { + GRExprEngine &Eng) { // Bail out if we didn't cover all paths - if (hasWorkRemaining) + if (Eng.hasWorkRemaining()) return; CFG *C = 0; |