Lines Matching refs:addTransition
1149 C.addTransition(stateZeroSize); in evalCopyCommon()
1223 C.addTransition(state); in evalCopyCommon()
1301 C.addTransition(State); in evalMemcmp()
1328 C.addTransition(State); in evalMemcmp()
1342 C.addTransition(State); in evalMemcmp()
1378 C.addTransition(stateZeroSize); in evalstrLengthCommon()
1474 C.addTransition(state); in evalstrLengthCommon()
1726 C.addTransition(StateZeroSize); in evalStrcpyCommon()
1916 C.addTransition(state); in evalStrcpyCommon()
1988 C.addTransition(StSameBuf); in evalStrcmpCommon()
2067 C.addTransition(state); in evalStrcmpCommon()
2126 C.addTransition(State); in evalStrsep()
2164 C.addTransition(State); in evalStdCopyCommon()
2192 C.addTransition(ZeroSize); in evalMemset()
2214 C.addTransition(State); in evalMemset()
2237 C.addTransition(StateZeroSize); in evalBzero()
2257 C.addTransition(State); in evalBzero()
2349 C.addTransition(state); in checkPreStmt()
2439 C.addTransition(state); in checkDeadSymbols()