reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
66 if (RightV.isUnknown()) { 68 RightV = svalBuilder.conjureSymbolVal(nullptr, B->getRHS(), LCtx, 73 SVal ExprVal = B->isGLValue() ? LeftV : RightV; 75 LeftV, RightV); 86 RightV = conjureOffsetSymbolOnLocation( 87 RightV, LeftV, RHS, svalBuilder, Count, LCtx); 89 LeftV, RightV, LHS, svalBuilder, Count, LCtx); 100 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); 106 state = escapeValue(state, RightV, PSK_EscapeOther); 158 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy),