Searched refs:distinct_jccs (Results 1 – 3 of 3) sorted by relevance
178 CLG_(stat).distinct_jccs++; in new_jcc()182 CLG_(stat).distinct_jccs, jcc); in new_jcc()
184 Int distinct_jccs; member
1463 VG_(gdb_printf)("distinct-calls: %d\n", CLG_(stat).distinct_jccs); in dump_state_togdb()1780 CLG_(stat).distinct_jccs); in finish()