reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
58 SVal LeftV = state->getSVal(LHS, LCtx); 59 SVal RightV = state->getSVal(RHS, LCtx); 74 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), 96 state = createTemporaryRegionIfNeeded(state, LCtx, LHS); 96 state = createTemporaryRegionIfNeeded(state, LCtx, LHS); 100 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); 102 state = state->BindExpr(B, LCtx, Result); 102 state = state->BindExpr(B, LCtx, Result); 105 state = escapeValue(state, LeftV, PSK_EscapeOther); 105 state = escapeValue(state, LeftV, PSK_EscapeOther); 106 state = escapeValue(state, RightV, PSK_EscapeOther); 106 state = escapeValue(state, RightV, PSK_EscapeOther); 109 Bldr.generateNode(B, *it, state); 134 evalLoad(Tmp, B, LHS, *it, state, location); 139 state = (*I)->getState(); 141 SVal V = state->getSVal(LHS, LCtx); 158 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), 184 state = state->BindExpr(B, LCtx, location); 184 state = state->BindExpr(B, LCtx, location); 186 state = state->BindExpr(B, LCtx, Result); 186 state = state->BindExpr(B, LCtx, Result); 188 evalStore(Tmp2, B, LHS, *I, state, location, LHSVal);