179   C.addTransition(state);  in checkPostStmt()
226   C.addTransition(state);  in checkPostStmt()
256   C.addTransition(state);  in processObjCLiterals()
282   C.addTransition(State);  in checkPostStmt()
322     C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess()));  in checkPostStmt()
330     C.addTransition(setRefBinding(State, Sym, PlusZero));  in checkPostStmt()
335   C.addTransition(State);  in checkPostStmt()
485   C.addTransition(state);  in processSummaryOfInlined()
704       C.addTransition(St, C.getPredecessor(), &getDeallocSentTag());  in checkSummary()
706       C.addTransition(St);  in checkSummary()
949       C.addTransition(NullOutputState, &getCastFailTag());  in evalCall()
959   C.addTransition(state);  in evalCall()
1024   Pred = C.addTransition(state);  in processReturn()
1094         ExplodedNode *N = C.addTransition(state, Pred, &ReturnOwnLeakTag);  in checkReturnWithRetEffect()
1120         ExplodedNode *N = C.addTransition(state, Pred, &ReturnNotOwnedTag);  in checkReturnWithRetEffect()
1146     C.addTransition(state);  in checkBind()
1318   ExplodedNode *N = Ctx.addTransition(state, Pred);  in processLeaks()
1364   Ctx.addTransition(state);  in checkBeginFunction()
1433     C.addTransition(state);  in checkDeadSymbols()
1452   C.addTransition(state, Pred);  in checkDeadSymbols()