reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1411 ExplodedNode *Pred = C.getPredecessor(); 1413 ProgramStateRef state = C.getState(); 1422 state = handleAutoreleaseCounts(state, Pred, &Tag, C, Sym, V); 1433 C.addTransition(state); 1437 Pred = processLeaks(state, Leaked, C, Pred); 1452 C.addTransition(state, Pred);