Searched refs:new_vc (Results 1 – 1 of 1) sorted by relevance
1493 const VectorClock* new_vc; in DRD_() local1514 new_vc = &DRD_(g_threadinfo)[tid].last->vc; in DRD_()1515 tl_assert(DRD_(vc_lte)(old_vc, new_vc)); in DRD_()1527 q && !DRD_(vc_lte)(&q->vc, new_vc); in DRD_()1532 = !DRD_(vc_lte)(new_vc, &q->vc); in DRD_()1553 = !DRD_(vc_lte)(&q->vc, new_vc) in DRD_()1554 && !DRD_(vc_lte)(new_vc, &q->vc); in DRD_()