1674       const auto *Ex = cast<Expr>(S);  in Visit()  local
1675       QualType resultType = Ex->getType();  in Visit()
1679         SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,  in Visit()
1682         ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result);  in Visit()
1686         if (!(isa<ObjCBoxedExpr>(Ex) &&  in Visit()
1687               !cast<ObjCBoxedExpr>(Ex)->getSubExpr()  in Visit()
1689           for (auto Child : Ex->children()) {  in Visit()
2231   const auto *Ex = dyn_cast<Expr>(Condition);  in RecoverCastedSymbol()  local
2232   if (!Ex)  in RecoverCastedSymbol()
2238   while (const auto *CE = dyn_cast<CastExpr>(Ex)) {  in RecoverCastedSymbol()
2250     Ex = CE->getSubExpr();  in RecoverCastedSymbol()
2254   QualType T = Ex->getType();  in RecoverCastedSymbol()
2260   return state->getSVal(Ex, LCtx);  in RecoverCastedSymbol()
2292   if (const auto *Ex = dyn_cast<Expr>(Condition))  in ResolveCondition()  local
2293     Condition = Ex->IgnoreParens();  in ResolveCondition()
2373     if (const auto *Ex = dyn_cast<Expr>(Condition)) {  in assumeCondition()  local
2374       if (Ex->getType()->isIntegralOrEnumerationType()) {  in assumeCondition()
2420   if (const auto *Ex = dyn_cast<Expr>(Condition))  in processBranch()  local
2421     Condition = Ex->IgnoreParens();  in processBranch()
2712 void ExprEngine::VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D,  in VisitCommonDeclRefExpr()  argument
2723     assert(Ex->isGLValue() || VD->getType()->isVoidType());  in VisitCommonDeclRefExpr()
2727     const auto *DeclRefEx = dyn_cast<DeclRefExpr>(Ex);  in VisitCommonDeclRefExpr()
2764     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,  in VisitCommonDeclRefExpr()
2769     assert(!Ex->isGLValue());  in VisitCommonDeclRefExpr()
2771     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));  in VisitCommonDeclRefExpr()
2776     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,  in VisitCommonDeclRefExpr()
2836     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,  in VisitCommonDeclRefExpr()
2852 void ExprEngine::VisitArrayInitLoopExpr(const ArrayInitLoopExpr *Ex,  in VisitArrayInitLoopExpr()  argument
2856   getCheckerManager().runCheckersForPreStmt(CheckerPreStmt, Pred, Ex, *this);  in VisitArrayInitLoopExpr()
2861   const Expr *Arr = Ex->getCommonExpr()->getSourceExpr();  in VisitArrayInitLoopExpr()
2866     if (auto *CE = dyn_cast<CXXConstructExpr>(Ex->getSubExpr()))  in VisitArrayInitLoopExpr()
2943     Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, Base));  in VisitArrayInitLoopExpr()
2946   getCheckerManager().runCheckersForPostStmt(Dst, EvalSet, Ex, *this);  in VisitArrayInitLoopExpr()
3384                                                    const Expr *Ex) {  in evalEagerlyAssumeBinOpBifurcation()  argument
3392     if (!P.getAs<PostStmt>() || P.castAs<PostStmt>().getStmt() != Ex) {  in evalEagerlyAssumeBinOpBifurcation()
3397     SVal V = state->getSVal(Ex, Pred->getLocationContext());  in evalEagerlyAssumeBinOpBifurcation()
3408         SVal Val = svalBuilder.makeIntVal(1U, Ex->getType());  in evalEagerlyAssumeBinOpBifurcation()
3409         StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val);  in evalEagerlyAssumeBinOpBifurcation()
3410         Bldr.generateNode(Ex, Pred, StateTrue, tags.first);  in evalEagerlyAssumeBinOpBifurcation()
3415         SVal Val = svalBuilder.makeIntVal(0U, Ex->getType());  in evalEagerlyAssumeBinOpBifurcation()
3416         StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val);  in evalEagerlyAssumeBinOpBifurcation()
3417         Bldr.generateNode(Ex, Pred, StateFalse, tags.second);  in evalEagerlyAssumeBinOpBifurcation()