Searched defs:RightV (Results 1 - 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 41 SVal RightV = state->getSVal(RHS, LCtx); local
48 if (RightV.isUnknown()) {
50 RightV = svalBuilder.conjureSymbolVal(0, B->getRHS(), LCtx, Count);
54 SVal ExprVal = B->isGLValue() ? LeftV : RightV;
56 LeftV, RightV);
71 RHS->getType()->isIntegerType() && RightV.isUnknown()) {
72 RightV = svalBuilder.conjureSymbolVal(RHS, LCtx, RHS->getType(),
75 if (RightV.getAs<Loc>() &&
84 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType());
140 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CT
[all...] |
Completed in 91 milliseconds