Searched refs:LeftV (Results 1 – 1 of 1) sorted by relevance
40 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator() local55 SVal ExprVal = B->isGLValue() ? LeftV : RightV; in VisitBinaryOperator()57 LeftV, RightV); in VisitBinaryOperator()71 if (LeftV.getAs<Loc>() && in VisitBinaryOperator()79 LeftV.isUnknown()) { in VisitBinaryOperator()80 LeftV = svalBuilder.conjureSymbolVal(LHS, LCtx, LHS->getType(), in VisitBinaryOperator()93 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); in VisitBinaryOperator()124 SVal location = LeftV; in VisitBinaryOperator()