reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
253 const MemRegion *R = state->getRegion(PD, InitLoc); 257 SVal V = state->getSVal(loc::MemRegionVal(R)); 258 SVal Constraint_untested = evalBinOp(state, BO_GT, V, 268 if (ProgramStateRef newState = state->assume(*Constraint, true)) 269 state = newState; 279 const MemRegion *R = state->getRegion(SelfD, InitLoc); 280 SVal V = state->getSVal(loc::MemRegionVal(R)); 284 state = state->assume(*LV, true); 284 state = state->assume(*LV, true); 285 assert(state && "'self' cannot be null"); 297 SVal V = state->getSVal(L); 299 state = state->assume(*LV, true); 299 state = state->assume(*LV, true); 300 assert(state && "'this' cannot be null"); 306 return state;