Searched defs:sg2 (Results 1 - 2 of 2) sorted by relevance

/external/valgrind/main/drd/
H A Ddrd_segment.c182 /** Merge sg1 and sg2 into sg1. */
183 void DRD_(sg_merge)(Segment* const sg1, Segment* const sg2) argument
187 tl_assert(sg2);
188 tl_assert(sg2->refcnt == 1);
195 vc2 = DRD_(vc_aprint)(&sg2->vc);
207 // Merge sg2->bm into sg1->bm.
208 DRD_(bm_merge2)(&sg1->bm, &sg2->bm);
H A Ddrd_thread.c913 * An implementation of the property 'equiv(sg1, sg2)' as defined in the paper
914 * by Mark Christiaens e.a. The property equiv(sg1, sg2) holds if and only if
916 * sg2. The set CS is defined as the set of segments that can immediately
931 * != DRD_(vc_lte)(&sg2->vc, &sg->vc)
933 * != DRD_(vc_lte)(&sg->vc, &sg2->vc))
943 Segment* const sg2)
948 tl_assert(sg2->next);
949 tl_assert(sg1->next == sg2);
950 tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc));
960 if (DRD_(vc_lte)(&sg2
941 thread_consistent_segment_ordering(const DrdThreadId tid, Segment* const sg1, Segment* const sg2) argument
[all...]

Completed in 51 milliseconds