diff options
| author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-28 01:27:33 +0000 |
|---|---|---|
| committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2011-02-28 01:27:33 +0000 |
| commit | cc05d511b26ac6dc80fcbcc78ac305d2755aa0b9 (patch) | |
| tree | ed9f7de5944690615d97478e98accdc664a82574 /lib/StaticAnalyzer/Checkers/ExprEngine.cpp | |
| parent | 265c674f634e99e5df1135d764e21365351372da (diff) | |
[analyzer] Migrate UndefBranchChecker to CheckerV2.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@126616 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Checkers/ExprEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Checkers/ExprEngine.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/StaticAnalyzer/Checkers/ExprEngine.cpp b/lib/StaticAnalyzer/Checkers/ExprEngine.cpp index f39c7b9d73..00d13783cb 100644 --- a/lib/StaticAnalyzer/Checkers/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Checkers/ExprEngine.cpp @@ -330,7 +330,6 @@ static void RegisterInternalChecks(ExprEngine &Eng) { RegisterReturnUndefChecker(Eng); RegisterUndefinedArraySubscriptChecker(Eng); RegisterUndefinedAssignmentChecker(Eng); - RegisterUndefBranchChecker(Eng); } ExprEngine::ExprEngine(AnalysisManager &mgr, TransferFuncs *tf) @@ -1319,6 +1318,8 @@ void ExprEngine::processBranch(const Stmt* Condition, const Stmt* Term, checker->VisitBranchCondition(builder, *this, Condition, tag); } + getCheckerManager().runCheckersForBranchCondition(Condition, builder, *this); + // If the branch condition is undefined, return; if (!builder.isFeasible(true) && !builder.isFeasible(false)) return; |