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