• Home
  • History
  • Annotate
  • Raw
  • Download

Lines Matching refs:tl_assert

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