Lines Matching refs:tl_assert
36 #include "pub_tool_libcassert.h" // tl_assert()
88 tl_assert(t == False || t == True);
95 tl_assert(t == False || t == True);
102 tl_assert(t == False || t == True);
115 tl_assert(t == False || t == True);
122 tl_assert(m == False || m == True);
177 tl_assert(DRD_(VgThreadIdToDrdThreadId)(tid) == DRD_INVALID_THREADID);
183 tl_assert(! DRD_(IsValidDrdThreadId)(i));
200 tl_assert(DRD_(g_threadinfo)[i].sg_first == NULL);
201 tl_assert(DRD_(g_threadinfo)[i].sg_last == NULL);
203 tl_assert(DRD_(IsValidDrdThreadId)(i));
213 tl_assert(False);
240 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
292 tl_assert(DRD_(VgThreadIdToDrdThreadId)(vg_created) == DRD_INVALID_THREADID);
294 tl_assert(0 <= (int)created && created < DRD_N_THREADS
297 tl_assert(DRD_(g_threadinfo)[created].sg_first == NULL);
298 tl_assert(DRD_(g_threadinfo)[created].sg_last == NULL);
319 tl_assert(0 <= (int)created && created < DRD_N_THREADS
332 tl_assert(DRD_(g_threadinfo)[created].stack_max != 0);
369 tl_assert(DRD_(IsValidDrdThreadId)(drd_joiner));
370 tl_assert(DRD_(IsValidDrdThreadId)(drd_joinee));
383 tl_assert(msg);
419 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
421 tl_assert(DRD_(g_threadinfo)[tid].stack_min <= stack_startup);
422 tl_assert(stack_startup <= DRD_(g_threadinfo)[tid].stack_max);
429 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
440 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
448 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
456 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
463 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
471 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
473 tl_assert(on_alt_stack == !!on_alt_stack);
494 tl_assert(DRD_(IsValidDrdThreadId)(tid));
496 tl_assert(DRD_(g_threadinfo)[tid].synchr_nesting >= 0);
509 tl_assert(!DRD_(g_threadinfo)[tid].detached_posix_thread);
513 tl_assert(!DRD_(IsValidDrdThreadId)(tid));
523 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
557 tl_assert(!DRD_(IsValidDrdThreadId(i)));
564 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
566 tl_assert(DRD_(g_threadinfo)[tid].pt_threadid != INVALID_POSIX_THREADID);
582 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
584 tl_assert(DRD_(g_threadinfo)[tid].pt_threadid == INVALID_POSIX_THREADID
586 tl_assert(ptid != INVALID_POSIX_THREADID);
594 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
608 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
610 tl_assert(!! joinable == joinable);
611 tl_assert(DRD_(g_threadinfo)[tid].pt_threadid != INVALID_POSIX_THREADID);
619 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
621 tl_assert(DRD_(g_threadinfo)[tid].pt_threadid != INVALID_POSIX_THREADID);
622 tl_assert(DRD_(g_threadinfo)[tid].pthread_create_nesting_level >= 0);
630 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
632 tl_assert(DRD_(g_threadinfo)[tid].pt_threadid != INVALID_POSIX_THREADID);
633 tl_assert(DRD_(g_threadinfo)[tid].pthread_create_nesting_level > 0);
641 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
650 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
672 tl_assert(vg_tid != VG_INVALID_THREADID);
680 tl_assert(s_vg_running_tid != VG_INVALID_THREADID);
681 tl_assert(DRD_(g_drd_running_tid) != DRD_INVALID_THREADID);
691 tl_assert(vg_tid != VG_INVALID_THREADID);
692 tl_assert(drd_tid != DRD_INVALID_THREADID);
711 tl_assert(s_vg_running_tid != VG_INVALID_THREADID);
712 tl_assert(DRD_(g_drd_running_tid) != DRD_INVALID_THREADID);
721 tl_assert(DRD_(IsValidDrdThreadId)(tid));
731 tl_assert(DRD_(IsValidDrdThreadId)(tid));
732 tl_assert(DRD_(g_threadinfo)[tid].synchr_nesting >= 1);
739 tl_assert(DRD_(IsValidDrdThreadId)(tid));
747 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
751 tl_assert(DRD_(sane_ThreadInfo)(&DRD_(g_threadinfo)[tid]));
764 tl_assert(DRD_(sane_ThreadInfo)(&DRD_(g_threadinfo)[tid]));
775 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
779 tl_assert(DRD_(sane_ThreadInfo)(&DRD_(g_threadinfo)[tid]));
793 tl_assert(DRD_(sane_ThreadInfo)(&DRD_(g_threadinfo)[tid]));
805 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
808 tl_assert(latest_sg);
819 tl_assert(sg);
820 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
823 tl_assert(latest_sg);
961 tl_assert(sg1->thr_next);
962 tl_assert(sg2->thr_next);
963 tl_assert(sg1->thr_next == sg2);
964 tl_assert(DRD_(vc_lte)(&sg1->vc, &sg2->vc));
1020 tl_assert(DRD_(sane_ThreadInfo)(&DRD_(g_threadinfo)[i]));
1038 tl_assert(DRD_(sane_ThreadInfo)(&DRD_(g_threadinfo)[i]));
1052 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
1054 tl_assert(thread_conflict_set_up_to_date(DRD_(g_drd_running_tid)));
1065 tl_assert(thread_conflict_set_up_to_date(DRD_(g_drd_running_tid)));
1078 tl_assert(joiner != joinee);
1079 tl_assert(0 <= (int)joiner && joiner < DRD_N_THREADS
1081 tl_assert(0 <= (int)joinee && joinee < DRD_N_THREADS
1083 tl_assert(DRD_(g_threadinfo)[joiner].sg_first);
1084 tl_assert(DRD_(g_threadinfo)[joiner].sg_last);
1085 tl_assert(DRD_(g_threadinfo)[joinee].sg_first);
1086 tl_assert(DRD_(g_threadinfo)[joinee].sg_last);
1131 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
1133 tl_assert(DRD_(g_threadinfo)[tid].sg_first);
1134 tl_assert(DRD_(g_threadinfo)[tid].sg_last);
1135 tl_assert(sg);
1136 tl_assert(vc);
1159 tl_assert(DRD_(vc_lte)(vc, DRD_(thread_get_vc)(tid)));
1171 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
1173 tl_assert(thread_conflict_set_up_to_date(DRD_(g_drd_running_tid)));
1174 tl_assert(sg);
1206 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
1208 tl_assert(enabled == !! enabled);
1216 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
1218 tl_assert(enabled == !! enabled);
1280 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
1282 tl_assert(p);
1302 tl_assert(q->stacktrace);
1334 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
1385 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
1387 tl_assert(tid == DRD_(g_drd_running_tid));
1482 tl_assert(0 <= (int)tid && tid < DRD_N_THREADS
1484 tl_assert(old_vc);
1485 tl_assert(tid == DRD_(g_drd_running_tid));
1486 tl_assert(DRD_(g_conflict_set));
1499 tl_assert(DRD_(vc_lte)(old_vc, new_vc));
1582 tl_assert(thread_conflict_set_up_to_date(DRD_(g_drd_running_tid)));
