Searched refs:distinct_jccs (Results 1 – 3 of 3) sorted by relevance
174 CLG_(stat).distinct_jccs++; in new_jcc()178 CLG_(stat).distinct_jccs, jcc); in new_jcc()
152 Int distinct_jccs; member
1536 VG_(gdb_printf)("distinct-calls: %d\n", CLG_(stat).distinct_jccs); in dump_state_togdb()1831 CLG_(stat).distinct_jccs); in clg_print_stats()