Lines Matching refs:addTransition
475 C.addTransition(State->set<InvariantViolated>(true), N); in checkInvariantViolation()
491 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
526 C.addTransition(State); in checkDeadSymbols()
594 C.addTransition(State); in checkBeginFunction()
638 Context.addTransition(NewState); in checkLocation()
729 C.addTransition(State); in checkPreStmt()
746 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkPreStmt()
762 C.addTransition(State); in checkPreStmt()
840 ExplodedNode *N = C.addTransition(State); in checkPreCall()
852 ExplodedNode *N = C.addTransition(State); in checkPreCall()
863 C.addTransition(State); in checkPreCall()
895 C.addTransition(State); in checkPostCall()
913 C.addTransition(State); in checkPostCall()
1007 C.addTransition(State); in checkPostObjCMessage()
1017 C.addTransition(State); in checkPostObjCMessage()
1030 C.addTransition(State); in checkPostObjCMessage()
1058 C.addTransition(State); in checkPostObjCMessage()
1121 C.addTransition(State); in checkPostObjCMessage()
1159 C.addTransition(State); in checkPostStmt()
1172 C.addTransition(State); in checkPostStmt()
1179 C.addTransition(State); in checkPostStmt()
1316 C.addTransition(State); in checkBind()
1337 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkBind()
1354 C.addTransition(State); in checkBind()
1362 C.addTransition(State); in checkBind()