Lines Matching refs:addTransition
430 C.addTransition(State->set<InvariantViolated>(true), N); in checkInvariantViolation()
445 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
471 C.addTransition(State); in checkDeadSymbols()
603 C.addTransition(State); in checkPreStmt()
620 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkPreStmt()
637 C.addTransition(State); in checkPreStmt()
714 ExplodedNode *N = C.addTransition(State); in checkPreCall()
726 ExplodedNode *N = C.addTransition(State); in checkPreCall()
741 C.addTransition(State); in checkPreCall()
773 C.addTransition(State); in checkPostCall()
783 C.addTransition(State); in checkPostCall()
853 C.addTransition(State); in checkPostObjCMessage()
863 C.addTransition(State); in checkPostObjCMessage()
876 C.addTransition(State); in checkPostObjCMessage()
904 C.addTransition(State); in checkPostObjCMessage()
926 C.addTransition(State); in checkPostObjCMessage()
964 C.addTransition(State); in checkPostStmt()
977 C.addTransition(State); in checkPostStmt()
984 C.addTransition(State); in checkPostStmt()
1123 C.addTransition(State); in checkBind()
1144 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkBind()
1161 C.addTransition(State); in checkBind()
1169 C.addTransition(State); in checkBind()