Searched refs:recordSwitchCaseID (Results 1 – 2 of 2) sorted by relevance
2652 void recordSwitchCaseID(SwitchCase *SC, unsigned ID) { in recordSwitchCaseID() function
173 Record.recordSwitchCaseID(S, Record.readInt()); in VisitSwitchCase()