reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
965 ExplodedNode *Pred = C.getPredecessor(); 972 if (!C.inTopFrame()) 982 ProgramStateRef state = C.getState(); 985 SymbolRef Sym = state->getSValAsScalarOrLoc(RetE, C.getLocationContext()) 1024 Pred = C.addTransition(state); 1036 state = handleAutoreleaseCounts(state, Pred, &AutoreleaseTag, C, Sym, X, S); 1048 RetainSummaryManager &Summaries = getSummaryManager(C); 1063 return checkReturnWithRetEffect(S, C, Pred, RE, X, Sym, state);