Searched refs:new_vts (Results 1 – 1 of 1) sorted by relevance
3129 VTS* new_vts = VTS__subtract("libhb.vts_tab__do_GC.new_vts", in vts_tab__do_GC() local3131 tl_assert(new_vts->sizeTS == new_vts->usedTS); in vts_tab__do_GC()3132 tl_assert(*(ULong*)(&new_vts->ts[new_vts->usedTS]) in vts_tab__do_GC()3160 (UWord)new_vts)) { in vts_tab__do_GC()3164 tl_assert(identical_version != new_vts); in vts_tab__do_GC()3165 VTS__delete(new_vts); in vts_tab__do_GC()3166 new_vts = identical_version; in vts_tab__do_GC()3167 tl_assert(new_vts->id != VtsID_INVALID); in vts_tab__do_GC()3171 new_vts->id = new_VtsID_ctr++; in vts_tab__do_GC()3172 Bool b = VG_(addToFM)(new_set, (UWord)new_vts, 0); in vts_tab__do_GC()[all …]