259     ProgramStateRef state, const Expr* Ex, const LocationContext* LCtx,  in handleLValueBitCast()  argument
270   SVal OrigV = state->getSVal(Ex, LCtx);  in handleLValueBitCast()
285 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,  in VisitCast()  argument
298       evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));  in VisitCast()
305   QualType ExTy = Ex->getType();  in VisitCast()
345         SVal V = state->getSVal(Ex, LCtx);  in VisitCast()
352         SVal V = state->getSVal(Ex, LCtx);  in VisitCast()
363             handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred);  in VisitCast()
373         SVal V = state->getSVal(Ex, LCtx);  in VisitCast()
381             handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred);  in VisitCast()
413             handleLValueBitCast(state, Ex, LCtx, T, ExTy, CastE, Bldr, Pred);  in VisitCast()
418         SVal V = state->getSVal(Ex, LCtx);  in VisitCast()
430         SVal val = state->getSVal(Ex, LCtx);  in VisitCast()
438         SVal val = state->getSVal(Ex, LCtx);  in VisitCast()
481         SVal val = state->getSVal(Ex, LCtx);  in VisitCast()
516         SVal V = state->getSVal(Ex, LCtx);  in VisitCast()
789 void ExprEngine::VisitGuardedExpr(const Expr *Ex,  in VisitGuardedExpr()  argument
846     V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,  in VisitGuardedExpr()
850   B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true));  in VisitGuardedExpr()
873 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex,  in VisitUnaryExprOrTypeTraitExpr()  argument
878   getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, Ex, *this);  in VisitUnaryExprOrTypeTraitExpr()
883   QualType T = Ex->getTypeOfArgument();  in VisitUnaryExprOrTypeTraitExpr()
887     if (Ex->getKind() == UETT_SizeOf) {  in VisitUnaryExprOrTypeTraitExpr()
902     APSInt Value = Ex->EvaluateKnownConstInt(getContext());  in VisitUnaryExprOrTypeTraitExpr()
906     state = state->BindExpr(Ex, (*I)->getLocationContext(),  in VisitUnaryExprOrTypeTraitExpr()
908                                                    Ex->getType()));  in VisitUnaryExprOrTypeTraitExpr()
909     Bldr.generateNode(Ex, *I, state);  in VisitUnaryExprOrTypeTraitExpr()
912   getCheckerManager().runCheckersForPostStmt(Dst, EvalSet, Ex, *this);  in VisitUnaryExprOrTypeTraitExpr()
925   const Expr *Ex = U->getSubExpr()->IgnoreParens();  in handleUOExtension()  local
929                                            state->getSVal(Ex, LCtx)));  in handleUOExtension()
952       const Expr *Ex = U->getSubExpr()->IgnoreParens();  in VisitUnaryOperator()  local
955       if (Ex->getType()->isAnyComplexType()) {  in VisitUnaryOperator()
961       assert (U->getType() == Ex->getType());  in VisitUnaryOperator()
965                                                state->getSVal(Ex, LCtx)));  in VisitUnaryOperator()
970       const Expr *Ex = U->getSubExpr()->IgnoreParens();  in VisitUnaryOperator()  local
972       if (Ex->getType()->isAnyComplexType()) {  in VisitUnaryOperator()
979       SVal X = svalBuilder.makeZeroVal(Ex->getType());  in VisitUnaryOperator()
986       const Expr *Ex = U->getSubExpr()->IgnoreParens();  in VisitUnaryOperator()  local
987       if (const DeclRefExpr *DRE = dyn_cast<DeclRefExpr>(Ex)) {  in VisitUnaryOperator()
1015       const Expr *Ex = U->getSubExpr()->IgnoreParens();  in VisitUnaryOperator()  local
1020       SVal V = state->getSVal(Ex, LCtx);  in VisitUnaryOperator()
1047             Loc X = svalBuilder.makeNullWithType(Ex->getType());  in VisitUnaryOperator()
1049           } else if (Ex->getType()->isFloatingType()) {  in VisitUnaryOperator()
1053             nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));  in VisitUnaryOperator()
1075   const Expr *Ex = U->getSubExpr()->IgnoreParens();  in VisitIncrementDecrementOperator()  local
1079   SVal loc = state->getSVal(Ex, LCtx);  in VisitIncrementDecrementOperator()
1083   evalLoad(Tmp, U, Ex, Pred, state, loc);  in VisitIncrementDecrementOperator()
1091     SVal V2_untested = state->getSVal(Ex, LCtx);  in VisitIncrementDecrementOperator()
1100       evalStore(Dst3, U, Ex, *I, state, loc, V2_untested);  in VisitIncrementDecrementOperator()
1168     evalStore(Dst3, U, Ex, *I, state, loc, Result);  in VisitIncrementDecrementOperator()