903            sg && (sg_next = sg->next) && DRD_(vc_lte)(&sg->vc, &thread_vc_min);  in thread_discard_ordered_segments()
950    tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc));  in thread_consistent_segment_ordering()
960             if (DRD_(vc_lte)(&sg2->vc, &sg->vc))  in thread_consistent_segment_ordering()
962             if (DRD_(vc_lte)(&sg1->vc, &sg->vc))  in thread_consistent_segment_ordering()
970             if (DRD_(vc_lte)(&sg->vc, &sg1->vc))  in thread_consistent_segment_ordering()
972             if (DRD_(vc_lte)(&sg->vc, &sg2->vc))  in thread_consistent_segment_ordering()
1153       tl_assert(DRD_(vc_lte)(vc, &DRD_(g_threadinfo)[tid].last->vc));  in thread_combine_vc_sync()
1295             if (DRD_(vc_lte)(&q->vc, &p->vc))  in thread_report_conflicting_segments_segment()
1297             if (! DRD_(vc_lte)(&p->vc, &q->vc))  in thread_report_conflicting_segments_segment()
1439                if (! DRD_(vc_lte)(&q->vc, &p->vc)  in thread_compute_conflict_set()
1440                    && ! DRD_(vc_lte)(&p->vc, &q->vc))  in thread_compute_conflict_set()
1515    tl_assert(DRD_(vc_lte)(old_vc, new_vc));  in DRD_()
1527            q && !DRD_(vc_lte)(&q->vc, new_vc);  in DRD_()
1530             = !DRD_(vc_lte)(old_vc, &q->vc);  in DRD_()
1532             = !DRD_(vc_lte)(new_vc, &q->vc);  in DRD_()
1549       for ( ; q && !DRD_(vc_lte)(&q->vc, old_vc); q = q->prev) {  in DRD_()
1551             = !DRD_(vc_lte)(old_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_()
1581               q && !DRD_(vc_lte)(&q->vc, &p->vc);  in DRD_()
1583             if (!DRD_(vc_lte)(&p->vc, &q->vc))  in DRD_()