Searched refs:distinct_bbs (Results 1 – 4 of 4) sorted by relevance
158 CLG_(stat).distinct_bbs++; in new_bb()165 CLG_(stat).distinct_bbs); in new_bb()
309 VG_(sprintf)(buf, "distinct-bbs: %d\n", CLG_(stat).distinct_bbs); in dump_state()
76 s->distinct_bbs = 0; in CLG_()1419 VG_(gdb_printf)("distinct-bbs: %d\n", CLG_(stat).distinct_bbs); in dump_state_togdb()1733 CLG_(stat).distinct_bbs); in finish()
186 Int distinct_bbs; member