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