Searched refs:distinct_bbs (Results 1 – 3 of 3) sorted by relevance
156 CLG_(stat).distinct_bbs++; in new_bb()163 CLG_(stat).distinct_bbs); in new_bb()
81 s->distinct_bbs = 0; in CLG_()1535 VG_(gdb_printf)("distinct-bbs: %d\n", CLG_(stat).distinct_bbs); in dump_state_togdb()1825 CLG_(stat).distinct_bbs); in clg_print_stats()
151 Int distinct_bbs; member