Searched refs:distinct_bbs (Results 1 – 3 of 3) sorted by relevance
158 CLG_(stat).distinct_bbs++; in new_bb()165 CLG_(stat).distinct_bbs); in new_bb()
80 s->distinct_bbs = 0; in CLG_()1462 VG_(gdb_printf)("distinct-bbs: %d\n", CLG_(stat).distinct_bbs); in dump_state_togdb()1774 CLG_(stat).distinct_bbs); in finish()
183 Int distinct_bbs; member