Searched refs:RightV (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 60 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator() local
67 if (RightV.isUnknown()) { in VisitBinaryOperator()
69 RightV = svalBuilder.conjureSymbolVal(nullptr, getCFGElementRef(), LCtx, in VisitBinaryOperator()
74 SVal ExprVal = B->isGLValue() ? LeftV : RightV; in VisitBinaryOperator()
76 LeftV, RightV); in VisitBinaryOperator()
87 RightV = conjureOffsetSymbolOnLocation( in VisitBinaryOperator()
88 RightV, LeftV, getCFGElementRef(), RHS->getType(), svalBuilder, in VisitBinaryOperator()
90 LeftV = conjureOffsetSymbolOnLocation(LeftV, RightV, getCFGElementRef(), in VisitBinaryOperator()
103 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); in VisitBinaryOperator()
109 state = escapeValues(state, RightV, PSK_EscapeOther); in VisitBinaryOperator()
[all …]
|