Searched refs:RightV (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineC.cpp | 41 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator() local
48 if (RightV.isUnknown()) { in VisitBinaryOperator()
50 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, in VisitBinaryOperator()
55 SVal ExprVal = B->isGLValue() ? LeftV : RightV; in VisitBinaryOperator()
57 LeftV, RightV); in VisitBinaryOperator()
73 RightV.isUnknown()) { in VisitBinaryOperator()
74 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(), in VisitBinaryOperator()
77 if (RightV.getAs<Loc>() && in VisitBinaryOperator()
93 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); in VisitBinaryOperator()
149 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), in VisitBinaryOperator()
|