Home
last modified time | relevance | path

Searched refs:LeftV (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DExprEngineC.cpp40 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator() local
55 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()