reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
222 CallEventRef<> Call = CEMgr.getCaller(calleeCtx, state); 230 SVal V = state->getSVal(RS, LCtx); 244 state = state->BindExpr(CE, callerCtx, V); 244 state = state->BindExpr(CE, callerCtx, V); 251 SVal ThisV = state->getSVal(This); 252 ThisV = state->getSVal(ThisV.castAs<Loc>()); 253 state = state->BindExpr(CCE, callerCtx, ThisV); 253 state = state->BindExpr(CCE, callerCtx, ThisV); 262 SVal AllocV = state->getSVal(CNE, callerCtx); 267 state = addObjectUnderConstruction(state, CNE, calleeCtx->getParent(), 267 state = addObjectUnderConstruction(state, CNE, calleeCtx->getParent(), 282 ExplodedNode *BindedRetNode = G.getNode(Loc, state, false, &isNew); 308 ProgramStateRef CEEState = (*I == CEBNode) ? state : (*I)->getState();