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); 765 symVal = svalBuilder.getConjuredHeapSymbolVal(CNE, LCtx, blockCount); 767 symVal = svalBuilder.conjureSymbolVal(nullptr, CNE, LCtx, CNE->getType(), 773 CEMgr.getCXXAllocatorCall(CNE, State, LCtx); 824 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx); 830 State = State->BindExpr(CNE, LCtx, Result); 841 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),