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()
950       C.addTransition(NullOutputState, &getCastFailTag());  in evalCall()
960   C.addTransition(state);  in evalCall()
1025   Pred = C.addTransition(state);  in processReturn()
1095         ExplodedNode *N = C.addTransition(state, Pred, &ReturnOwnLeakTag);  in checkReturnWithRetEffect()
1121         ExplodedNode *N = C.addTransition(state, Pred, &ReturnNotOwnedTag);  in checkReturnWithRetEffect()
1147     C.addTransition(state);  in checkBind()
1319   ExplodedNode *N = Ctx.addTransition(state, Pred);  in processLeaks()
1365   Ctx.addTransition(state);  in checkBeginFunction()
1434     C.addTransition(state);  in checkDeadSymbols()
1453   C.addTransition(state, Pred);  in checkDeadSymbols()