Lines Matching defs:true
60 rep.AddStack(trace, true);
71 thr->is_freeing = true;
75 SyncVar *s = ctx->metamap.GetOrCreateAndLock(thr, pc, addr, true);
95 thr->is_freeing = true;
111 s->is_broken = true;
112 unlock_locked = true;
128 rep.AddStack(trace, true);
148 SyncVar *s = ctx->metamap.GetOrCreateAndLock(thr, pc, addr, true);
159 s->is_broken = true;
160 report_double_lock = true;
170 thr->mset.Add(s->GetId(), true, thr->fast_state.epoch());
174 ctx->dd->MutexBeforeLock(&cb, &s->dd, true);
175 ctx->dd->MutexAfterLock(&cb, &s->dd, true, try_lock);
192 SyncVar *s = ctx->metamap.GetOrCreateAndLock(thr, pc, addr, true);
199 s->is_broken = true;
200 report_bad_unlock = true;
213 thr->mset.Del(s->GetId(), true);
217 ctx->dd->MutexBeforeUnlock(&cb, &s->dd, true);
242 s->is_broken = true;
243 report_bad_lock = true;
271 SyncVar *s = ctx->metamap.GetOrCreateAndLock(thr, pc, addr, true);
277 s->is_broken = true;
278 report_bad_unlock = true;
302 SyncVar *s = ctx->metamap.GetOrCreateAndLock(thr, pc, addr, true);
303 bool write = true;
326 s->is_broken = true;
327 report_bad_unlock = true;
347 SyncVar *s = ctx->metamap.GetOrCreateAndLock(thr, pc, addr, true);
384 SyncVar *s = ctx->metamap.GetOrCreateAndLock(thr, pc, addr, true);
396 SyncVar *s = ctx->metamap.GetOrCreateAndLock(thr, pc, addr, true);
476 rep.AddStack(StackDepotGet(stk), true);
480 rep.AddStack(StackTrace(&dummy_pc, 1), true);
