Lines Matching refs:addTransition
178 C.addTransition(state); in checkPostStmt()
225 C.addTransition(state); in checkPostStmt()
255 C.addTransition(state); in processObjCLiterals()
281 C.addTransition(State); in checkPostStmt()
321 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
329 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
334 C.addTransition(State); in checkPostStmt()
484 C.addTransition(state); in processSummaryOfInlined()
703 C.addTransition(St, C.getPredecessor(), &getDeallocSentTag()); in checkSummary()
705 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()