Lines Matching refs:addTransition
1125 C.addTransition(stateZeroSize); in evalCopyCommon()
1198 C.addTransition(state); in evalCopyCommon()
1277 C.addTransition(state); in evalMemcmp()
1304 C.addTransition(state); in evalMemcmp()
1318 C.addTransition(state); in evalMemcmp()
1361 C.addTransition(stateZeroSize); in evalstrLengthCommon()
1458 C.addTransition(state); in evalstrLengthCommon()
1662 C.addTransition(StateZeroSize); in evalStrcpyCommon()
1880 C.addTransition(state); in evalStrcpyCommon()
1964 C.addTransition(StSameBuf); in evalStrcmpCommon()
2041 C.addTransition(state); in evalStrcmpCommon()
2102 C.addTransition(State); in evalStrsep()
2140 C.addTransition(State); in evalStdCopyCommon()
2170 C.addTransition(StateZeroSize); in evalMemset()
2191 C.addTransition(State); in evalMemset()
2217 C.addTransition(StateZeroSize); in evalBzero()
2237 C.addTransition(State); in evalBzero()
2386 C.addTransition(state); in checkPreStmt()
2476 C.addTransition(state); in checkDeadSymbols()