Lines Matching refs:addTransition

1015     C.addTransition(stateZeroSize);  in evalCopyCommon()
1097     C.addTransition(state);  in evalCopyCommon()
1176     C.addTransition(state);  in evalMemcmp()
1203         C.addTransition(state);  in evalMemcmp()
1217         C.addTransition(state);  in evalMemcmp()
1260       C.addTransition(stateZeroSize);  in evalstrLengthCommon()
1357   C.addTransition(state);  in evalstrLengthCommon()
1528           C.addTransition(StateZeroSize);  in evalStrcpyCommon()
1739   C.addTransition(state);  in evalStrcpyCommon()
1823     C.addTransition(StSameBuf);  in evalStrcmpCommon()
1900   C.addTransition(state);  in evalStrcmpCommon()
1957   C.addTransition(State);  in evalStrsep()
1995   C.addTransition(State);  in evalStdCopyCommon()
2112   C.addTransition(state);  in checkPreStmt()
2209   C.addTransition(state);  in checkDeadSymbols()