Searched refs:LeftV (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngine.cpp | 2895 SVal LeftV = GetState(*I1)->getSVal(LHS); in VisitBinaryOperator() local
2921 SVal ExprVal = B->isLValue() ? LeftV : RightV; in VisitBinaryOperator()
2925 evalStore(Tmp3, B, LHS, *I2, state->BindExpr(B, ExprVal), LeftV,RightV); in VisitBinaryOperator()
2932 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); in VisitBinaryOperator()
|