Searched defs:ExprVal (Results 1 – 8 of 8) sorted by relevance
351 const Formula &(*ModelPred)(Environment &Env, const Formula &ExprVal, in transferValueOrImpl()389 [](Environment &Env, const Formula &ExprVal, in transferValueOrNotEqX()390 const Formula &HasValueVal) -> const Formula & { in transferValueOrNotEqX()
53 const MCExpr *ExprVal; member
511 SymbolReaper::isLive(const Expr *ExprVal, const LocationContext *ELCtx) const { in isLive() argument
73 SVal ExprVal = B->isGLValue() ? LeftV : RightV; in VisitBinaryOperator() local
800 const MCExpr *ExprVal; in parseImmediate() local
15079 APInt &ExprVal, APInt &DivisorVal) { in applyLoopGuards()15094 APInt ExprVal; in applyLoopGuards() local15110 APInt ExprVal; in applyLoopGuards() local
7054 int64_t ExprVal; in parseDepCtr() local
6150 const MCExpr *ExprVal = ARMMCExpr::create(RefKind, SubExprVal, in parseOperand() local