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