Lines Matching refs:Ex
227 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
239 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
246 QualType ExTy = Ex->getType();
282 // Copy the SVal of Ex to CastE.
285 SVal V = state->getSVal(Ex, LCtx);
324 SVal V = state->getSVal(Ex, LCtx);
333 SVal val = state->getSVal(Ex, LCtx);
341 SVal val = state->getSVal(Ex, LCtx);
634 void ExprEngine::VisitGuardedExpr(const Expr *Ex,
689 V = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
693 B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true));
716 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex,
721 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, Ex, *this);
726 QualType T = Ex->getTypeOfArgument();
730 if (Ex->getKind() == UETT_SizeOf) {
745 APSInt Value = Ex->EvaluateKnownConstInt(getContext());
749 state = state->BindExpr(Ex, (*I)->getLocationContext(),
751 Ex->getType()));
752 Bldr.generateNode(Ex, *I, state);
755 getCheckerManager().runCheckersForPostStmt(Dst, EvalSet, Ex, *this);
779 const Expr *Ex = U->getSubExpr()->IgnoreParens();
782 if (Ex->getType()->isAnyComplexType()) {
788 assert (U->getType() == Ex->getType());
792 state->getSVal(Ex, LCtx)));
797 const Expr *Ex = U->getSubExpr()->IgnoreParens();
799 if (Ex->getType()->isAnyComplexType()) {
806 SVal X = svalBuilder.makeZeroVal(Ex->getType());
824 const Expr *Ex = U->getSubExpr()->IgnoreParens();
828 state->getSVal(Ex, LCtx)));
836 const Expr *Ex = U->getSubExpr()->IgnoreParens();
841 SVal V = state->getSVal(Ex, LCtx);
869 else if (Ex->getType()->isFloatingType()) {
873 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));
895 const Expr *Ex = U->getSubExpr()->IgnoreParens();
899 SVal loc = state->getSVal(Ex, LCtx);
903 evalLoad(Tmp, U, Ex, Pred, state, loc);
911 SVal V2_untested = state->getSVal(Ex, LCtx);
940 svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,