Lines Matching refs:old
517 Shadow cur, Shadow old) {
519 thr->racy_state[1] = old.raw();
528 static inline bool HappensBefore(Shadow old, ThreadState *thr) {
529 return thr->clock.get(old.TidWithIgnore()) >= old.epoch();
554 Shadow old(0);
602 HandleRace(thr, shadow_mem, cur, old);
631 Shadow old(LoadShadow(&s[i]));
632 if (Shadow::Addr0AndSizeAreEqual(cur, old) &&
633 old.TidWithIgnore() == cur.TidWithIgnore() &&
634 old.epoch() > sync_epoch &&
635 old.IsAtomic() == cur.IsAtomic() &&
636 old.IsRead() <= cur.IsRead())