reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
756 symVal = *getObjectUnderConstruction(State, CNE, LCtx); 757 State = finishObjectConstruction(State, CNE, LCtx); 757 State = finishObjectConstruction(State, CNE, LCtx); 773 CEMgr.getCXXAllocatorCall(CNE, State, LCtx); 780 State = Call->invalidateRegions(blockCount); 781 if (!State) 796 State = State->assume(*dSymVal, true); 796 State = State->assume(*dSymVal, true); 813 State = State->BindExpr(CNE, Pred->getLocationContext(), Result); 813 State = State->BindExpr(CNE, Pred->getLocationContext(), Result); 814 Bldr.generateNode(CNE, Pred, State); 824 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx); 830 State = State->BindExpr(CNE, LCtx, Result); 830 State = State->BindExpr(CNE, LCtx, Result); 831 ExplodedNode *NewN = Bldr.generateNode(CNE, Pred, State); 841 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),