2227                                 const Stmt *Condition,  in RecoverCastedSymbol()  argument
2231   const auto *Ex = dyn_cast<Expr>(Condition);  in RecoverCastedSymbol()
2264 static const Stmt *getRightmostLeaf(const Stmt *Condition) {  in getRightmostLeaf()  argument
2265   while (Condition) {  in getRightmostLeaf()
2266     const auto *BO = dyn_cast<BinaryOperator>(Condition);  in getRightmostLeaf()
2268       return Condition;  in getRightmostLeaf()
2270     Condition = BO->getRHS()->IgnoreParens();  in getRightmostLeaf()
2290 static const Stmt *ResolveCondition(const Stmt *Condition,  in ResolveCondition()  argument
2292   if (const auto *Ex = dyn_cast<Expr>(Condition))  in ResolveCondition()
2293     Condition = Ex->IgnoreParens();  in ResolveCondition()
2295   const auto *BO = dyn_cast<BinaryOperator>(Condition);  in ResolveCondition()
2297     return Condition;  in ResolveCondition()
2317     assert(LastStmt == Condition || LastStmt == getRightmostLeaf(Condition));  in ResolveCondition()
2354 assumeCondition(const Stmt *Condition, ExplodedNode *N) {  in assumeCondition()  argument
2356   if (const auto *ObjCFor = dyn_cast<ObjCForCollectionStmt>(Condition)) {  in assumeCondition()
2369   SVal X = State->getSVal(Condition, N->getLocationContext());  in assumeCondition()
2373     if (const auto *Ex = dyn_cast<Expr>(Condition)) {  in assumeCondition()
2380             RecoverCastedSymbol(State, Condition, N->getLocationContext(),  in assumeCondition()
2400 void ExprEngine::processBranch(const Stmt *Condition,  in processBranch()  argument
2406   assert((!Condition || !isa<CXXBindTemporaryExpr>(Condition)) &&  in processBranch()
2413   if (!Condition) {  in processBranch()
2420   if (const auto *Ex = dyn_cast<Expr>(Condition))  in processBranch()
2421     Condition = Ex->IgnoreParens();  in processBranch()
2423   Condition = ResolveCondition(Condition, BldCtx.getBlock());  in processBranch()
2425                                 Condition->getBeginLoc(),  in processBranch()
2429   getCheckerManager().runCheckersForBranchCondition(Condition, CheckersOutSet,  in processBranch()
2443     if (const auto KnownCondValueAssumption = assumeCondition(Condition, PredN))  in processBranch()
2446       assert(!isa<ObjCForCollectionStmt>(Condition));  in processBranch()
2452       assert(!isa<ObjCForCollectionStmt>(Condition));  in processBranch()