Lines Matching refs:tl_assert
84 tl_assert(copy);
108 tl_assert( HG_(is_sane_LockNorP)(lk1) );
109 tl_assert( HG_(is_sane_LockNorP)(lk2) );
158 tl_assert(allowed_to_be_invalid);
163 tl_assert( HG_(is_sane_LockN)(lkn) );
184 tl_assert( HG_(is_sane_LockP)(lkp) );
211 tl_assert(univ_lsets);
212 tl_assert( HG_(plausibleWS)(univ_lsets, lockset) );
216 tl_assert(lockPs[nLocks] == NULL); /* pre-NULL terminated */
223 tl_assert(lockNs);
246 tl_assert(vec);
260 tl_assert(vec);
261 tl_assert(lk);
395 tl_assert(xe);
406 tl_assert(xe->XE.Race.thr);
439 tl_assert(!xe->XE.Race.h2_ct_accEC);
440 tl_assert(!xe->XE.Race.h2_ct);
445 tl_assert(wherep);
446 tl_assert(thrp);
448 tl_assert(threadp);
463 tl_assert( (!!xe->XE.Race.h2_ct) == (!!xe->XE.Race.h2_ct_accEC) );
476 tl_assert( HG_(is_sane_Thread)(thr) );
503 tl_assert(isWrite == False || isWrite == True);
504 tl_assert(szB == 8 || szB == 4 || szB == 2 || szB == 1);
519 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
520 tl_assert( thr->coretid != VG_INVALID_THREADID );
533 tl_assert( HG_(is_sane_Thread)(thr) );
534 tl_assert( HG_(is_sane_LockN)(lk) );
542 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
543 tl_assert( thr->coretid != VG_INVALID_THREADID );
552 tl_assert( HG_(is_sane_Thread)(thr) );
553 tl_assert( HG_(is_sane_Thread)(owner) );
554 tl_assert( HG_(is_sane_LockN)(lk) );
562 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
563 tl_assert( thr->coretid != VG_INVALID_THREADID );
571 tl_assert( HG_(is_sane_Thread)(thr) );
577 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
578 tl_assert( thr->coretid != VG_INVALID_THREADID );
593 tl_assert( HG_(is_sane_Thread)(thr) );
594 tl_assert(HG_(clo_track_lockorders));
608 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
609 tl_assert( thr->coretid != VG_INVALID_THREADID );
618 tl_assert( HG_(is_sane_Thread)(thr) );
619 tl_assert(fnname);
620 tl_assert(errstr);
628 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
629 tl_assert( thr->coretid != VG_INVALID_THREADID );
638 tl_assert( HG_(is_sane_Thread)(thr) );
639 tl_assert(errstr);
647 tl_assert( HG_(is_sane_ThreadId)(thr->coretid) );
648 tl_assert( thr->coretid != VG_INVALID_THREADID );
662 tl_assert(VG_(get_error_kind)(e1) == VG_(get_error_kind)(e2));
666 tl_assert(xe1);
667 tl_assert(xe2);
697 tl_assert(0);
701 tl_assert(0);
737 tl_assert(HG_(is_sane_Thread)(thr));
738 tl_assert(thr->errmsg_index >= 1);
747 tl_assert(thr->created_at == NULL);
750 tl_assert(thr->created_at != NULL);
762 tl_assert(thr->created_at == NULL);
767 tl_assert(thr->created_at != NULL);
783 tl_assert(lk);
786 tl_assert(lk->magic == LockP_MAGIC);
815 tl_assert(lockvec);
831 tl_assert(locks);
835 tl_assert(nLocksValid <= nLocks);
867 tl_assert(err);
869 tl_assert(xe);
910 tl_assert(0);
925 tl_assert(xe);
933 tl_assert( HG_(is_sane_Thread)( xe->XE.Misc.thr ) );
968 tl_assert( HG_(is_sane_Thread)( xe->XE.LockOrder.thr ) );
1037 tl_assert( HG_(is_sane_Thread)( xe->XE.PthAPIerror.thr ) );
1068 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockBogus.thr ) );
1095 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockForeign.lock ) );
1096 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockForeign.owner ) );
1097 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockForeign.thr ) );
1131 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockUnlocked.lock ) );
1132 tl_assert( HG_(is_sane_Thread)( xe->XE.UnlockUnlocked.thr ) );
1168 tl_assert( HG_(is_sane_Thread)( xe->XE.Race.thr ));
1170 tl_assert( HG_(is_sane_Thread)( xe->XE.Race.h2_ct ));
1185 tl_assert(xe->XE.Race.h2_ct_accEC); // assured by update_extra
1229 tl_assert(xe->XE.Race.locksHeldW);
1234 tl_assert(xe->XE.Race.h2_ct_accEC); // assured by update_extra
1235 tl_assert(xe->XE.Race.h2_ct_locksHeldW);
1269 tl_assert(0);
1283 tl_assert(threadp);
1324 default: tl_assert(0); /* fill in missing case */
1366 default: tl_assert(0); /* fill in missing cases */
1373 tl_assert(nBuf >= 1);
1382 tl_assert(nBuf >= 1);
