Home | History | Annotate | Download | only in helgrind

Lines Matching defs:ref

2726       /* if this fails, cand (by ref) was already present (!) */
4198 ref that we need to record. Hash table key is the address of the
4270 /* Count of allocated RCEC having ref count > 0 */
4288 /* Dec the ref of this RCEC. */
4532 /* Note: the nr of ref in the oldrefHT will always be equal to
4585 OldRef* ref;
4606 ref = VG_(HT_gen_lookup) (oldrefHT, &example, cmp_oldref_tsw);
4608 if (ref) {
4611 tl_assert (ref->ga == a);
4614 if (rcec == ref->acc.rcec)
4618 ctxt__rcdec( ref->acc.rcec );
4620 ref->acc.rcec = rcec;
4622 tl_assert(ref->acc.tsw.thrid == thrid);
4624 ref->stamp = event_map_stamp;
4625 ref->acc.locksHeldW = locksHeldW;
4627 OldRef_unchain(ref);
4628 OldRef_newest(ref);
4633 ref = alloc_or_reuse_OldRef();
4634 ref->ga = a;
4635 ref->acc.tsw = (TSW) {.thrid = thrid,
4638 ref->stamp = event_map_stamp;
4639 ref->acc.locksHeldW = locksHeldW;
4640 ref->acc.rcec = rcec;
4643 VG_(HT_add_node) ( oldrefHT, ref );
4644 OldRef_newest (ref);
4660 OldRef *ref = NULL;
4719 if (!ref
4720 || (ref->stamp - event_map_stamp)
4722 ref = cand_ref;
4727 if (ref) {
4730 RCEC* ref_rcec = ref->acc.rcec;
4731 tl_assert(ref->acc.tsw.thrid);
4742 *resThr = Thr__from_ThrID(ref->acc.tsw.thrid);
4744 *resIsW = ref->acc.tsw.isW;
4745 *locksHeldW = ref->acc.locksHeldW;
4761 OldRef *ref = lru.next;
4765 while (ref != &mru) {
4766 ref_szB = ref->acc.tsw.szB;
4767 if (cmp_nonempty_intervals(a, szB, ref->ga, ref_szB) == 0) {
4768 RCEC* ref_rcec = ref->acc.rcec;
4775 Thr__from_ThrID(ref->acc.tsw.thrid),
4776 ref->ga,
4778 ref->acc.tsw.isW,
4779 ref->acc.locksHeldW);
4781 tl_assert (ref->next == &mru
4782 || ((ref->stamp - event_map_stamp)
4783 < ref->next->stamp - event_map_stamp));
4784 ref = ref->next;
4859 /* visit all the referencing points, inc check ref counts */
4870 /* compare check ref counts with actual */
4887 " %lu cur ents(ref'd %lu),"
6476 " %lu cur ents(ref'd %lu),"