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