Lines Matching refs:addTransition
2738 C.addTransition(state); in checkPostStmt()
2777 C.addTransition(state); in checkPostStmt()
2806 C.addTransition(state); in processObjCLiterals()
2833 C.addTransition(State); in checkPostStmt()
2873 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
2881 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
2886 C.addTransition(State); in checkPostStmt()
2965 C.addTransition(state); in processSummaryOfInlined()
3113 NewNode = C.addTransition(state); in checkSummary()
3417 C.addTransition(state); in evalCall()
3481 ExplodedNode *Pred = C.addTransition(state); in checkPreStmt()
3563 ExplodedNode *N = C.addTransition(state, Pred, &ReturnOwnLeakTag); in checkReturnWithRetEffect()
3589 ExplodedNode *N = C.addTransition(state, Pred, &ReturnNotOwnedTag); in checkReturnWithRetEffect()
3660 C.addTransition(state); in checkBind()
3840 ExplodedNode *N = Ctx.addTransition(state, Pred); in processLeaks()
3936 C.addTransition(state); in checkDeadSymbols()
3957 C.addTransition(state, Pred); in checkDeadSymbols()