reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
608 ProgramStateRef state = C.getState(); 629 state = updateSymbol(state, Sym, *T, Effect, hasErr, C); 649 Summ.getReceiverEffect(), hasErr, C); 662 hasErr, C); 674 processNonLeakError(state, ErrorRange, hasErr, ErrorSym, C); 683 RE = getSummaryManager(C).getObjAllocRetEffect(); 693 ResultTy = GetReturnType(Ex, C.getASTContext()); 704 C.addTransition(St, C.getPredecessor(), &DeallocSentTag); 704 C.addTransition(St, C.getPredecessor(), &DeallocSentTag); 706 C.addTransition(St);