Lines Matching refs:Ex
175 const Expr *Ex,
177 SVal V = State->getSVal(Ex, LC);
183 Result = Ex;
199 const Expr *Inner = Ex->IgnoreParens();
874 const Expr *Ex = cast<Expr>(S);
875 QualType resultType = Ex->getType();
881 SVal result = svalBuilder.conjureSymbolVal(nullptr, Ex, LCtx,
884 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result);
1331 const Expr *Ex = dyn_cast<Expr>(Condition);
1332 if (!Ex)
1338 while (const CastExpr *CE = dyn_cast<CastExpr>(Ex)) {
1350 Ex = CE->getSubExpr();
1354 QualType T = Ex->getType();
1360 return state->getSVal(Ex, LCtx);
1392 if (const Expr *Ex = dyn_cast<Expr>(Condition))
1393 Condition = Ex->IgnoreParens();
1445 if (const Expr *Ex = dyn_cast<Expr>(Condition))
1446 Condition = Ex->IgnoreParens();
1473 if (const Expr *Ex = dyn_cast<Expr>(Condition)) {
1474 if (Ex->getType()->isIntegralOrEnumerationType()) {
1727 void ExprEngine::VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D,
1738 assert(Ex->isGLValue() || VD->getType()->isVoidType());
1750 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
1755 assert(!Ex->isGLValue());
1757 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
1762 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
1770 SVal V = svalBuilder.conjureSymbolVal(Ex, LCtx, getContext().VoidPtrTy,
1773 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2210 const Expr *Ex) {
2219 if (!P.getAs<PostStmt>() || P.castAs<PostStmt>().getStmt() != Ex) {
2224 SVal V = state->getSVal(Ex, Pred->getLocationContext());
2235 SVal Val = svalBuilder.makeIntVal(1U, Ex->getType());
2236 StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val);
2237 Bldr.generateNode(Ex, Pred, StateTrue, tags.first);
2242 SVal Val = svalBuilder.makeIntVal(0U, Ex->getType());
2243 StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val);
2244 Bldr.generateNode(Ex, Pred, StateFalse, tags.second);