Lines Matching defs:Ex
180 void ExprEngine::VisitCast(const CastExpr *CastE, const Expr *Ex,
192 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
199 QualType ExTy = Ex->getType();
230 // Copy the SVal of Ex to CastE.
233 SVal V = state->getSVal(Ex, LCtx);
269 SVal V = state->getSVal(Ex, LCtx);
280 SVal val = state->getSVal(Ex, LCtx);
290 SVal val = state->getSVal(Ex, LCtx);
450 const Expr *Ex = (const Expr*) cast<UndefinedVal>(X).getData();
451 assert(Ex);
453 if (Ex == B->getRHS()) {
454 X = state->getSVal(Ex, LCtx);
534 void ExprEngine::VisitGuardedExpr(const Expr *Ex,
543 SVal X = state->getSVal(Ex, LCtx);
550 B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, X, true));
572 VisitUnaryExprOrTypeTraitExpr(const UnaryExprOrTypeTraitExpr *Ex,
577 QualType T = Ex->getTypeOfArgument();
579 if (Ex->getKind() == UETT_SizeOf) {
595 APSInt Value = Ex->EvaluateKnownConstInt(getContext());
599 state = state->BindExpr(Ex, Pred->getLocationContext(),
601 Ex->getType()));
602 Bldr.generateNode(Ex, Pred, state);
618 const Expr *Ex = U->getSubExpr()->IgnoreParens();
621 if (Ex->getType()->isAnyComplexType()) {
627 assert (U->getType() == Ex->getType());
631 state->getSVal(Ex, LCtx)));
636 const Expr *Ex = U->getSubExpr()->IgnoreParens();
638 if (Ex->getType()->isAnyComplexType()) {
645 SVal X = svalBuilder.makeZeroVal(Ex->getType());
663 const Expr *Ex = U->getSubExpr()->IgnoreParens();
667 state->getSVal(Ex, LCtx)));
675 const Expr *Ex = U->getSubExpr()->IgnoreParens();
680 SVal V = state->getSVal(Ex, LCtx);
710 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));
730 const Expr *Ex = U->getSubExpr()->IgnoreParens();
734 SVal loc = state->getSVal(Ex, LCtx);
738 evalLoad(Tmp, U, Ex, Pred, state, loc);
746 SVal V2_untested = state->getSVal(Ex, LCtx);
773 svalBuilder.getConjuredSymbolVal(NULL, Ex, LCtx,
