reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1332 if (!Ctx.inTopFrame()) 1335 RetainSummaryManager &SmrMgr = getSummaryManager(Ctx); 1336 const LocationContext *LCtx = Ctx.getLocationContext(); 1343 ProgramStateRef state = Ctx.getState(); 1364 Ctx.addTransition(state);