Searched defs:num_dupes (Results 1 – 2 of 2) sorted by relevance
523 int num_dupes) in emit_saved_diagnostic()
1410 unsigned num_dupes = sd.get_num_dupes (); in emit_saved_diagnostic() local