commit 753b3ca32fe9c5ee4f8fb58d888b9f710af8a543
author Argyrios Kyrtzidis <akyrtzi@gmail.com> Mon Feb 28 01:27:33 2011 +0000
committer Argyrios Kyrtzidis <akyrtzi@gmail.com> Mon Feb 28 01:27:33 2011 +0000
tree 2f2f6ae6d8db57d0335984aeaffb463211a8bc03
parent 60b6da721f7033aa1cd231f998d190942af86924

[analyzer] Migrate UndefBranchChecker to CheckerV2.

llvm-svn: 126616

clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp

diff --git a/clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp b/clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
index f39c7b9..00d1378 100644
--- a/clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/ExprEngine.cpp
@@ -330,7 +330,6 @@
   RegisterReturnUndefChecker(Eng);
   RegisterUndefinedArraySubscriptChecker(Eng);
   RegisterUndefinedAssignmentChecker(Eng);
-  RegisterUndefBranchChecker(Eng);
 }
 
 ExprEngine::ExprEngine(AnalysisManager &mgr, TransferFuncs *tf)
@@ -1319,6 +1318,8 @@
     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;