Searched refs:RightV (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 59 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator() local
66 if (RightV.isUnknown()) { in VisitBinaryOperator()
68 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, in VisitBinaryOperator()
73 SVal ExprVal = B->isGLValue() ? LeftV : RightV; in VisitBinaryOperator()
75 LeftV, RightV); in VisitBinaryOperator()
86 RightV = conjureOffsetSymbolOnLocation( in VisitBinaryOperator()
87 RightV, LeftV, RHS, svalBuilder, Count, LCtx); in VisitBinaryOperator()
89 LeftV, RightV, LHS, svalBuilder, Count, LCtx); in VisitBinaryOperator()
100 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); in VisitBinaryOperator()
106 state = escapeValues(state, RightV, PSK_EscapeOther); in VisitBinaryOperator()
[all …]
|