Searched refs:distinct_jccs (Results 1 – 4 of 4) sorted by relevance
178 CLG_(stat).distinct_jccs++; in new_jcc()182 CLG_(stat).distinct_jccs, jcc); in new_jcc()
312 VG_(sprintf)(buf, "distinct-calls: %d\n", CLG_(stat).distinct_jccs); in dump_state()
187 Int distinct_jccs; member
1420 VG_(gdb_printf)("distinct-calls: %d\n", CLG_(stat).distinct_jccs); in dump_state_togdb()1739 CLG_(stat).distinct_jccs); in finish()