reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1389 if (CallEventRef<> Out = getCall(CallSite, State, CallerCtx)) 1396 SValBuilder &SVB = State->getStateManager().getSValBuilder(); 1399 SVal ThisVal = State->getSVal(ThisPtr); 1402 ThisVal.getAsRegion(), State, CallerCtx); 1412 SValBuilder &SVB = State->getStateManager().getSValBuilder(); 1415 SVal ThisVal = State->getSVal(ThisPtr); 1426 E.getAs<CFGBaseDtor>().hasValue(), State,