Lines Matching refs:addTransition
242 C.addTransition(state); in checkPostStmt()
281 C.addTransition(state); in checkPostStmt()
311 C.addTransition(state); in processObjCLiterals()
337 C.addTransition(State); in checkPostStmt()
377 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
385 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
390 C.addTransition(State); in checkPostStmt()
529 C.addTransition(state); in processSummaryOfInlined()
720 C.addTransition(St, C.getPredecessor(), &DeallocSentTag); in checkSummary()
722 C.addTransition(St); in checkSummary()
957 C.addTransition(NullOutputState); in evalCall()
967 C.addTransition(state); in evalCall()
1030 Pred = C.addTransition(state); in processReturn()
1100 ExplodedNode *N = C.addTransition(state, Pred, &ReturnOwnLeakTag); in checkReturnWithRetEffect()
1126 ExplodedNode *N = C.addTransition(state, Pred, &ReturnNotOwnedTag); in checkReturnWithRetEffect()
1180 C.addTransition(state); in checkBind()
1358 ExplodedNode *N = Ctx.addTransition(state, Pred); in processLeaks()
1412 Ctx.addTransition(state); in checkBeginFunction()
1482 C.addTransition(state); in checkDeadSymbols()
1503 C.addTransition(state, Pred); in checkDeadSymbols()