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