Lines Matching refs:addTransition
1460 C.addTransition(stateZeroSize); in evalCopyCommon()
1536 C.addTransition(state); in evalCopyCommon()
1622 C.addTransition(State); in evalMemcmp()
1649 C.addTransition(State); in evalMemcmp()
1664 C.addTransition(State); in evalMemcmp()
1701 C.addTransition(stateZeroSize); in evalstrLengthCommon()
1797 C.addTransition(state); in evalstrLengthCommon()
2060 C.addTransition(StateZeroSize); in evalStrcpyCommon()
2263 C.addTransition(state); in evalStrcpyCommon()
2338 C.addTransition(StSameBuf); in evalStrcmpCommon()
2417 C.addTransition(state); in evalStrcmpCommon()
2477 C.addTransition(State); in evalStrsep()
2519 C.addTransition(State); in evalStdCopyCommon()
2548 C.addTransition(ZeroSize); in evalMemset()
2570 C.addTransition(State); in evalMemset()
2593 C.addTransition(StateZeroSize); in evalBzero()
2613 C.addTransition(State); in evalBzero()
2663 C.addTransition(State); in evalSprintfCommon()
2754 C.addTransition(state); in checkPreStmt()
2833 C.addTransition(state); in checkDeadSymbols()