reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1069 SVal loc = state->getSVal(Ex, LCtx); 1073 evalLoad(Tmp, U, Ex, Pred, state, loc); 1079 state = (*I)->getState(); 1081 SVal V2_untested = state->getSVal(Ex, LCtx); 1085 state = state->BindExpr(U, LCtx, V2_untested); 1085 state = state->BindExpr(U, LCtx, V2_untested); 1090 evalStore(Dst3, U, Ex, *I, state, loc, V2_untested); 1120 Result = evalBinOp(state, Op, V2, RHS, U->getType()); 1134 svalBuilder.evalEQ(state, V2,svalBuilder.makeZeroVal(U->getType())); 1136 if (!state->assume(Constraint, true)) { 1139 Constraint = svalBuilder.evalEQ(state, SymVal, 1142 state = state->assume(Constraint, false); 1142 state = state->assume(Constraint, false); 1143 assert(state); 1151 state = state->BindExpr(U, LCtx, loc); 1151 state = state->BindExpr(U, LCtx, loc); 1153 state = state->BindExpr(U, LCtx, U->isPostfix() ? V2 : Result); 1153 state = state->BindExpr(U, LCtx, U->isPostfix() ? V2 : Result); 1158 evalStore(Dst3, U, Ex, *I, state, loc, Result);