• Home
  • History
  • Annotate
  • Raw
  • Download

Lines Matching refs:tl_assert

93    tl_assert(t == False || t == True);  in DRD_()
100 tl_assert(t == False || t == True); in DRD_()
107 tl_assert(t == False || t == True); in DRD_()
120 tl_assert(t == False || t == True); in DRD_()
127 tl_assert(m == False || m == True); in DRD_()
188 tl_assert(DRD_(VgThreadIdToDrdThreadId)(tid) == DRD_INVALID_THREADID); in DRD_()
194 tl_assert(! DRD_(IsValidDrdThreadId)(i)); in DRD_()
216 tl_assert(DRD_(g_threadinfo)[i].sg_first == NULL); in DRD_()
217 tl_assert(DRD_(g_threadinfo)[i].sg_last == NULL); in DRD_()
219 tl_assert(DRD_(IsValidDrdThreadId)(i)); in DRD_()
229 tl_assert(False); in DRD_()
256 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
308 tl_assert(DRD_(VgThreadIdToDrdThreadId)(vg_created) == DRD_INVALID_THREADID); in DRD_()
310 tl_assert(0 <= (int)created && created < DRD_N_THREADS in DRD_()
313 tl_assert(DRD_(g_threadinfo)[created].sg_first == NULL); in DRD_()
314 tl_assert(DRD_(g_threadinfo)[created].sg_last == NULL); in DRD_()
318 tl_assert(DRD_(thread_get_synchr_nesting_count)(created) == 0); in DRD_()
345 tl_assert(0 <= (int)created && created < DRD_N_THREADS in DRD_()
358 tl_assert(DRD_(g_threadinfo)[created].stack_max != 0); in DRD_()
395 tl_assert(DRD_(IsValidDrdThreadId)(drd_joiner)); in DRD_()
396 tl_assert(DRD_(IsValidDrdThreadId)(drd_joinee)); in DRD_()
445 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
447 tl_assert(DRD_(g_threadinfo)[tid].stack_min <= stack_startup); in DRD_()
448 tl_assert(stack_startup <= DRD_(g_threadinfo)[tid].stack_max); in DRD_()
455 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
466 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
474 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
482 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
489 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
497 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
499 tl_assert(on_alt_stack == !!on_alt_stack); in DRD_()
520 tl_assert(DRD_(IsValidDrdThreadId)(tid)); in DRD_()
522 tl_assert(DRD_(g_threadinfo)[tid].synchr_nesting >= 0); in DRD_()
535 tl_assert(!DRD_(g_threadinfo)[tid].detached_posix_thread); in DRD_()
539 tl_assert(!DRD_(IsValidDrdThreadId)(tid)); in DRD_()
549 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
583 tl_assert(!DRD_(IsValidDrdThreadId(i))); in DRD_()
593 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
595 tl_assert(DRD_(g_threadinfo)[tid].pt_threadid != INVALID_POSIX_THREADID); in DRD_()
611 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
613 tl_assert(DRD_(g_threadinfo)[tid].pt_threadid == INVALID_POSIX_THREADID in DRD_()
615 tl_assert(ptid != INVALID_POSIX_THREADID); in DRD_()
622 tl_assert(DRD_(thread_get_synchr_nesting_count)(tid) == 0); in DRD_()
630 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
644 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
646 tl_assert((!! joinable) == joinable); in DRD_()
647 tl_assert(DRD_(g_threadinfo)[tid].pt_threadid != INVALID_POSIX_THREADID); in DRD_()
655 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
657 tl_assert(DRD_(g_threadinfo)[tid].pt_threadid != INVALID_POSIX_THREADID); in DRD_()
658 tl_assert(DRD_(g_threadinfo)[tid].pthread_create_nesting_level >= 0); in DRD_()
663 tl_assert(DRD_(thread_get_synchr_nesting_count)(tid) == 0); in DRD_()
671 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
673 tl_assert(DRD_(g_threadinfo)[tid].pt_threadid != INVALID_POSIX_THREADID); in DRD_()
674 tl_assert(DRD_(g_threadinfo)[tid].pthread_create_nesting_level > 0); in DRD_()
680 tl_assert(DRD_(thread_get_synchr_nesting_count)(tid) == 0); in DRD_()
688 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
704 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
718 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
727 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
749 tl_assert(vg_tid != VG_INVALID_THREADID); in DRD_()
757 tl_assert(s_vg_running_tid != VG_INVALID_THREADID); in DRD_()
758 tl_assert(DRD_(g_drd_running_tid) != DRD_INVALID_THREADID); in DRD_()
768 tl_assert(vg_tid != VG_INVALID_THREADID); in DRD_()
769 tl_assert(drd_tid != DRD_INVALID_THREADID); in DRD_()
788 tl_assert(s_vg_running_tid != VG_INVALID_THREADID); in DRD_()
789 tl_assert(DRD_(g_drd_running_tid) != DRD_INVALID_THREADID); in DRD_()
798 tl_assert(DRD_(IsValidDrdThreadId)(tid)); in DRD_()
808 tl_assert(DRD_(IsValidDrdThreadId)(tid)); in DRD_()
809 tl_assert(DRD_(g_threadinfo)[tid].synchr_nesting >= 1); in DRD_()
816 tl_assert(DRD_(IsValidDrdThreadId)(tid)); in DRD_()
824 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in thread_append_segment()
828 tl_assert(DRD_(sane_ThreadInfo)(&DRD_(g_threadinfo)[tid])); in thread_append_segment()
841 tl_assert(DRD_(sane_ThreadInfo)(&DRD_(g_threadinfo)[tid])); in thread_append_segment()
852 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in thread_discard_segment()
856 tl_assert(DRD_(sane_ThreadInfo)(&DRD_(g_threadinfo)[tid])); in thread_discard_segment()
870 tl_assert(DRD_(sane_ThreadInfo)(&DRD_(g_threadinfo)[tid])); in thread_discard_segment()
882 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
885 tl_assert(latest_sg); in DRD_()
896 tl_assert(sg); in DRD_()
897 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
900 tl_assert(latest_sg); in DRD_()
1038 tl_assert(sg1->thr_next); in thread_consistent_segment_ordering()
1039 tl_assert(sg2->thr_next); in thread_consistent_segment_ordering()
1040 tl_assert(sg1->thr_next == sg2); in thread_consistent_segment_ordering()
1041 tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc)); in thread_consistent_segment_ordering()
1097 tl_assert(DRD_(sane_ThreadInfo)(&DRD_(g_threadinfo)[i])); in thread_merge_segments()
1115 tl_assert(DRD_(sane_ThreadInfo)(&DRD_(g_threadinfo)[i])); in thread_merge_segments()
1129 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
1131 tl_assert(thread_conflict_set_up_to_date(DRD_(g_drd_running_tid))); in DRD_()
1142 tl_assert(thread_conflict_set_up_to_date(DRD_(g_drd_running_tid))); in DRD_()
1155 tl_assert(joiner != joinee); in DRD_()
1156 tl_assert(0 <= (int)joiner && joiner < DRD_N_THREADS in DRD_()
1158 tl_assert(0 <= (int)joinee && joinee < DRD_N_THREADS in DRD_()
1160 tl_assert(DRD_(g_threadinfo)[joiner].sg_first); in DRD_()
1161 tl_assert(DRD_(g_threadinfo)[joiner].sg_last); in DRD_()
1162 tl_assert(DRD_(g_threadinfo)[joinee].sg_first); in DRD_()
1163 tl_assert(DRD_(g_threadinfo)[joinee].sg_last); in DRD_()
1208 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in thread_combine_vc_sync()
1210 tl_assert(DRD_(g_threadinfo)[tid].sg_first); in thread_combine_vc_sync()
1211 tl_assert(DRD_(g_threadinfo)[tid].sg_last); in thread_combine_vc_sync()
1212 tl_assert(sg); in thread_combine_vc_sync()
1213 tl_assert(vc); in thread_combine_vc_sync()
1236 tl_assert(DRD_(vc_lte)(vc, DRD_(thread_get_vc)(tid))); in thread_combine_vc_sync()
1248 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
1250 tl_assert(thread_conflict_set_up_to_date(DRD_(g_drd_running_tid))); in DRD_()
1251 tl_assert(sg); in DRD_()
1283 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
1285 tl_assert(enabled == !! enabled); in DRD_()
1293 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
1295 tl_assert(enabled == !! enabled); in DRD_()
1357 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in thread_report_conflicting_segments_segment()
1359 tl_assert(p); in thread_report_conflicting_segments_segment()
1379 tl_assert(q->stacktrace); in thread_report_conflicting_segments_segment()
1411 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
1458 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in thread_compute_conflict_set()
1460 tl_assert(tid == DRD_(g_drd_running_tid)); in thread_compute_conflict_set()
1555 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS in DRD_()
1557 tl_assert(old_vc); in DRD_()
1558 tl_assert(tid == DRD_(g_drd_running_tid)); in DRD_()
1559 tl_assert(DRD_(g_conflict_set)); in DRD_()
1572 tl_assert(DRD_(vc_lte)(old_vc, new_vc)); in DRD_()
1655 tl_assert(thread_conflict_set_up_to_date(DRD_(g_drd_running_tid))); in DRD_()