Lines Matching refs:tl_assert
217 tl_assert(HG_(is_sane_LockN)(lock)); in mk_LockN()
225 tl_assert(HG_(is_sane_LockN)(lk)); in del_LockN()
226 tl_assert(lk->hbso); in del_LockN()
232 tl_assert(lk->admin_prev == NULL); in del_LockN()
238 tl_assert(lk->admin_prev != NULL); in del_LockN()
253 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_acquire_writer()
254 tl_assert(HG_(is_sane_Thread)(thr)); in lockN_acquire_writer()
263 tl_assert(lk->heldBy == NULL); in lockN_acquire_writer()
268 tl_assert(lk->heldBy != NULL); in lockN_acquire_writer()
275 tl_assert(lk->heldBy == NULL); /* can't w-lock recursively */ in lockN_acquire_writer()
276 tl_assert(!lk->heldW); in lockN_acquire_writer()
285 tl_assert(lk->heldW); in lockN_acquire_writer()
287 tl_assert(VG_(sizeUniqueBag(lk->heldBy)) == 1); in lockN_acquire_writer()
289 tl_assert(VG_(elemBag)(lk->heldBy, (UWord)thr) in lockN_acquire_writer()
294 tl_assert(lk->heldBy == NULL && !lk->heldW); /* must be unheld */ in lockN_acquire_writer()
297 tl_assert(0); in lockN_acquire_writer()
299 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_acquire_writer()
304 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_acquire_reader()
305 tl_assert(HG_(is_sane_Thread)(thr)); in lockN_acquire_reader()
307 tl_assert(lk->kind == LK_rdwr); in lockN_acquire_reader()
309 tl_assert(lk->heldBy == NULL in lockN_acquire_reader()
319 tl_assert(lk->heldBy == NULL); in lockN_acquire_reader()
324 tl_assert(lk->heldBy != NULL); in lockN_acquire_reader()
335 tl_assert(!lk->heldW); in lockN_acquire_reader()
336 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_acquire_reader()
346 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_release()
347 tl_assert(HG_(is_sane_Thread)(thr)); in lockN_release()
349 tl_assert(lk->heldBy); in lockN_release()
354 tl_assert(b); in lockN_release()
356 tl_assert(lk->acquired_at); in lockN_release()
363 tl_assert(HG_(is_sane_LockN)(lk)); in lockN_release()
370 tl_assert(!lk->heldW); in remove_Lock_from_locksets_of_all_owning_Threads()
376 tl_assert(HG_(is_sane_Thread)(thr)); in remove_Lock_from_locksets_of_all_owning_Threads()
377 tl_assert(HG_(elemWS)( univ_lsets, in remove_Lock_from_locksets_of_all_owning_Threads()
383 tl_assert(HG_(elemWS)( univ_lsets, in remove_Lock_from_locksets_of_all_owning_Threads()
408 tl_assert(n >= 0 && n < 128); in space()
414 tl_assert(i < 128+1); in space()
471 default: tl_assert(0); in show_LockKind()
605 tl_assert(admin_threads == NULL); in initialise_data_structures()
606 tl_assert(admin_locks == NULL); in initialise_data_structures()
608 tl_assert(map_threads == NULL); in initialise_data_structures()
611 tl_assert(sizeof(Addr) == sizeof(UWord)); in initialise_data_structures()
612 tl_assert(map_locks == NULL); in initialise_data_structures()
616 tl_assert(univ_lsets == NULL); in initialise_data_structures()
619 tl_assert(univ_lsets != NULL); in initialise_data_structures()
624 tl_assert(wsid == 0); in initialise_data_structures()
626 tl_assert(univ_laog == NULL); in initialise_data_structures()
630 tl_assert(univ_laog != NULL); in initialise_data_structures()
640 tl_assert( libhb_get_Thr_hgthread(hbthr_root) == NULL ); in initialise_data_structures()
644 tl_assert(HG_(is_sane_ThreadId)(thr->coretid)); in initialise_data_structures()
645 tl_assert(thr->coretid != VG_INVALID_THREADID); in initialise_data_structures()
649 tl_assert(VG_INVALID_THREADID == 0); in initialise_data_structures()
663 tl_assert( HG_(is_sane_ThreadId)(coretid) ); in map_threads_maybe_lookup()
672 tl_assert( HG_(is_sane_ThreadId)(coretid) ); in map_threads_lookup()
674 tl_assert(thr); in map_threads_lookup()
683 tl_assert(HG_(is_sane_Thread)(thr)); in map_threads_maybe_reverse_lookup_SLOW()
685 tl_assert(VG_INVALID_THREADID >= 0 && VG_INVALID_THREADID < VG_N_THREADS); in map_threads_maybe_reverse_lookup_SLOW()
686 tl_assert(map_threads[VG_INVALID_THREADID] == NULL); in map_threads_maybe_reverse_lookup_SLOW()
688 tl_assert(HG_(is_sane_ThreadId)(tid)); in map_threads_maybe_reverse_lookup_SLOW()
697 tl_assert(tid != VG_INVALID_THREADID); in map_threads_reverse_lookup_SLOW()
698 tl_assert(map_threads[tid]); in map_threads_reverse_lookup_SLOW()
699 tl_assert(map_threads[tid]->coretid == tid); in map_threads_reverse_lookup_SLOW()
706 tl_assert(coretid != 0); in map_threads_delete()
707 tl_assert( HG_(is_sane_ThreadId)(coretid) ); in map_threads_delete()
709 tl_assert(thr); in map_threads_delete()
714 tl_assert(thr->synchr_nesting >= 0); in HG_()
724 tl_assert(thr->synchr_nesting >= 0); in HG_()
728 tl_assert(thr->pthread_create_nesting_level >= 0); in HG_()
733 tl_assert(thr->pthread_create_nesting_level > 0); in HG_()
754 tl_assert(HG_(is_sane_ThreadId)(tid)); in map_locks_lookup_or_create()
760 tl_assert(HG_(is_sane_LockN)(lock)); in map_locks_lookup_or_create()
762 tl_assert(oldlock == NULL); in map_locks_lookup_or_create()
765 tl_assert(oldlock != NULL); in map_locks_lookup_or_create()
766 tl_assert(HG_(is_sane_LockN)(oldlock)); in map_locks_lookup_or_create()
767 tl_assert(oldlock->guestaddr == ga); in map_locks_lookup_or_create()
777 tl_assert(found ? lk != NULL : lk == NULL); in map_locks_maybe_lookup()
790 tl_assert(lk != NULL); in map_locks_delete()
791 tl_assert(ga2 == ga); in map_locks_delete()
913 tl_assert(0); in threads__sanity_check()
955 tl_assert(count >= 1); in locks__sanity_check()
956 tl_assert(HG_(is_sane_Thread)(thr)); in locks__sanity_check()
979 tl_assert(0); in locks__sanity_check()
1015 tl_assert(hbthr); in shadow_mem_scopy_range()
1022 tl_assert(hbthr); in shadow_mem_cread_range()
1028 tl_assert(hbthr); in shadow_mem_cwrite_range()
1111 tl_assert(HG_(is_sane_Thread)(thr)); in evhH__post_thread_w_acquires_lock()
1116 tl_assert( HG_(is_sane_LockN)(lk) ); in evhH__post_thread_w_acquires_lock()
1119 tl_assert(thr->hbthr); in evhH__post_thread_w_acquires_lock()
1120 tl_assert(lk->hbso); in evhH__post_thread_w_acquires_lock()
1124 tl_assert(!lk->heldW); in evhH__post_thread_w_acquires_lock()
1133 tl_assert(lk->heldBy); in evhH__post_thread_w_acquires_lock()
1143 tl_assert(VG_(sizeUniqueBag)(lk->heldBy) == 1); /* from precondition */ in evhH__post_thread_w_acquires_lock()
1185 tl_assert(HG_(is_sane_LockN)(lk)); in evhH__post_thread_w_acquires_lock()
1208 tl_assert(HG_(is_sane_Thread)(thr)); in evhH__post_thread_r_acquires_lock()
1212 tl_assert(lkk == LK_rdwr); in evhH__post_thread_r_acquires_lock()
1215 tl_assert( HG_(is_sane_LockN)(lk) ); in evhH__post_thread_r_acquires_lock()
1218 tl_assert(thr->hbthr); in evhH__post_thread_r_acquires_lock()
1219 tl_assert(lk->hbso); in evhH__post_thread_r_acquires_lock()
1223 tl_assert(!lk->heldW); in evhH__post_thread_r_acquires_lock()
1232 tl_assert(lk->heldBy); in evhH__post_thread_r_acquires_lock()
1260 tl_assert(HG_(is_sane_LockN)(lk)); in evhH__post_thread_r_acquires_lock()
1283 tl_assert(HG_(is_sane_Thread)(thr)); in evhH__pre_thread_releases_lock()
1294 tl_assert(lock->guestaddr == lock_ga); in evhH__pre_thread_releases_lock()
1295 tl_assert(HG_(is_sane_LockN)(lock)); in evhH__pre_thread_releases_lock()
1309 tl_assert(!lock->heldW); in evhH__pre_thread_releases_lock()
1311 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock )); in evhH__pre_thread_releases_lock()
1312 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock )); in evhH__pre_thread_releases_lock()
1317 tl_assert(lock->heldBy); in evhH__pre_thread_releases_lock()
1323 tl_assert(n >= 0); in evhH__pre_thread_releases_lock()
1330 tl_assert(HG_(is_sane_Thread)(realOwner)); in evhH__pre_thread_releases_lock()
1331 tl_assert(realOwner != thr); in evhH__pre_thread_releases_lock()
1332 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock )); in evhH__pre_thread_releases_lock()
1333 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock )); in evhH__pre_thread_releases_lock()
1339 tl_assert(n >= 1); in evhH__pre_thread_releases_lock()
1344 tl_assert(n >= 0); in evhH__pre_thread_releases_lock()
1347 tl_assert(lock->heldBy); in evhH__pre_thread_releases_lock()
1348 tl_assert(n == VG_(elemBag)( lock->heldBy, (UWord)thr )); in evhH__pre_thread_releases_lock()
1351 tl_assert(lock->kind == LK_mbRec in evhH__pre_thread_releases_lock()
1353 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock )); in evhH__pre_thread_releases_lock()
1355 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock )); in evhH__pre_thread_releases_lock()
1357 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock )); in evhH__pre_thread_releases_lock()
1370 tl_assert(lock->heldW == False); in evhH__pre_thread_releases_lock()
1379 tl_assert(!lock->heldBy); in evhH__pre_thread_releases_lock()
1380 tl_assert(lock->heldW == False); in evhH__pre_thread_releases_lock()
1391 tl_assert(thr->hbthr); in evhH__pre_thread_releases_lock()
1392 tl_assert(lock->hbso); in evhH__pre_thread_releases_lock()
1400 tl_assert(HG_(is_sane_LockN)(lock)); in evhH__pre_thread_releases_lock()
1429 tl_assert(current_Thread == NULL); in evh__start_client_code()
1431 tl_assert(current_Thread != NULL); in evh__start_client_code()
1439 tl_assert(current_Thread != NULL); in evh__stop_client_code()
1593 tl_assert(HG_(is_sane_ThreadId)(parent)); in evh__pre_thread_ll_create()
1594 tl_assert(HG_(is_sane_ThreadId)(child)); in evh__pre_thread_ll_create()
1595 tl_assert(parent != child); in evh__pre_thread_ll_create()
1600 tl_assert(thr_p != NULL); in evh__pre_thread_ll_create()
1601 tl_assert(thr_c == NULL); in evh__pre_thread_ll_create()
1604 tl_assert(hbthr_p != NULL); in evh__pre_thread_ll_create()
1605 tl_assert( libhb_get_Thr_hgthread(hbthr_p) == thr_p ); in evh__pre_thread_ll_create()
1612 tl_assert( libhb_get_Thr_hgthread(hbthr_c) == NULL ); in evh__pre_thread_ll_create()
1617 tl_assert(thr_c->coretid == VG_INVALID_THREADID); in evh__pre_thread_ll_create()
1642 tl_assert(thr_c->synchr_nesting == 0); in evh__pre_thread_ll_create()
1675 tl_assert(HG_(is_sane_ThreadId)(quit_tid)); in evh__pre_thread_ll_exit()
1677 tl_assert(thr_q != NULL); in evh__pre_thread_ll_exit()
1681 tl_assert(nHeld >= 0); in evh__pre_thread_ll_exit()
1695 tl_assert(thr_q->hbthr); in evh__pre_thread_ll_exit()
1697 tl_assert(thr_q->coretid == quit_tid); in evh__pre_thread_ll_exit()
1716 tl_assert(!thr); in evh__atfork_child()
1726 tl_assert(thr->hbthr); in evh__atfork_child()
1728 tl_assert(thr->coretid == i); in evh__atfork_child()
1744 tl_assert(so); in generate_quitter_stayer_dependence()
1777 tl_assert(HG_(is_sane_ThreadId)(stay_tid)); in evh__HG_PTHREAD_JOIN_POST()
1781 tl_assert(thr_s != NULL); in evh__HG_PTHREAD_JOIN_POST()
1782 tl_assert(thr_q != NULL); in evh__HG_PTHREAD_JOIN_POST()
1783 tl_assert(thr_s != thr_q); in evh__HG_PTHREAD_JOIN_POST()
1787 tl_assert(hbthr_s != hbthr_q); in evh__HG_PTHREAD_JOIN_POST()
1788 tl_assert( libhb_get_Thr_hgthread(hbthr_s) == thr_s ); in evh__HG_PTHREAD_JOIN_POST()
1789 tl_assert( libhb_get_Thr_hgthread(hbthr_q) == thr_q ); in evh__HG_PTHREAD_JOIN_POST()
1802 tl_assert( map_threads_maybe_reverse_lookup_SLOW(thr_q) in evh__HG_PTHREAD_JOIN_POST()
1874 tl_assert(thr); in evh__die_mem_heap()
2008 tl_assert(mbRec == 0 || mbRec == 1); in evh__HG_PTHREAD_MUTEX_INIT_POST()
2028 tl_assert( HG_(is_sane_Thread)(thr) ); in evh__HG_PTHREAD_MUTEX_DESTROY_PRE()
2046 tl_assert( HG_(is_sane_LockN)(lk) ); in evh__HG_PTHREAD_MUTEX_DESTROY_PRE()
2047 tl_assert( lk->guestaddr == (Addr)mutex ); in evh__HG_PTHREAD_MUTEX_DESTROY_PRE()
2059 tl_assert( !lk->heldBy ); in evh__HG_PTHREAD_MUTEX_DESTROY_PRE()
2060 tl_assert( HG_(is_sane_LockN)(lk) ); in evh__HG_PTHREAD_MUTEX_DESTROY_PRE()
2084 tl_assert(isTryLock == 0 || isTryLock == 1); in evh__HG_PTHREAD_MUTEX_LOCK_PRE()
2086 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_MUTEX_LOCK_PRE()
2125 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_MUTEX_LOCK_POST()
2143 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_MUTEX_UNLOCK_PRE()
2156 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_MUTEX_UNLOCK_POST()
2185 tl_assert( HG_(is_sane_Thread)(thr) ); in evh__HG_PTHREAD_SPIN_INIT_OR_UNLOCK_PRE()
2278 tl_assert(key == (UWord)cond); in map_cond_to_CVInfo_lookup_or_alloc()
2294 tl_assert(key == (UWord)cond); in map_cond_to_CVInfo_lookup_NO_alloc()
2307 tl_assert(thr); /* cannot fail - Thread* must already exist */ in map_cond_to_CVInfo_delete()
2312 tl_assert(keyW == (UWord)cond); in map_cond_to_CVInfo_delete()
2313 tl_assert(cvi); in map_cond_to_CVInfo_delete()
2314 tl_assert(cvi->so); in map_cond_to_CVInfo_delete()
2324 tl_assert(0); // cond var found above, and not here ??? in map_cond_to_CVInfo_delete()
2357 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_COND_SIGNAL_PRE()
2360 tl_assert(cvi); in evh__HG_PTHREAD_COND_SIGNAL_PRE()
2361 tl_assert(cvi->so); in evh__HG_PTHREAD_COND_SIGNAL_PRE()
2435 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_COND_WAIT_PRE()
2448 tl_assert( HG_(is_sane_LockN)(lk) ); in evh__HG_PTHREAD_COND_WAIT_PRE()
2471 tl_assert(cvi); in evh__HG_PTHREAD_COND_WAIT_PRE()
2472 tl_assert(cvi->so); in evh__HG_PTHREAD_COND_WAIT_PRE()
2504 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_COND_WAIT_POST()
2519 tl_assert(cvi); in evh__HG_PTHREAD_COND_WAIT_POST()
2520 tl_assert(cvi->so); in evh__HG_PTHREAD_COND_WAIT_POST()
2521 tl_assert(cvi->nWaiters > 0); in evh__HG_PTHREAD_COND_WAIT_POST()
2549 tl_assert (cvi); in evh__HG_PTHREAD_COND_INIT_POST()
2550 tl_assert (cvi->so); in evh__HG_PTHREAD_COND_INIT_POST()
2596 tl_assert( HG_(is_sane_Thread)(thr) ); in evh__HG_PTHREAD_RWLOCK_DESTROY_PRE()
2606 tl_assert( HG_(is_sane_LockN)(lk) ); in evh__HG_PTHREAD_RWLOCK_DESTROY_PRE()
2607 tl_assert( lk->guestaddr == (Addr)rwl ); in evh__HG_PTHREAD_RWLOCK_DESTROY_PRE()
2619 tl_assert( !lk->heldBy ); in evh__HG_PTHREAD_RWLOCK_DESTROY_PRE()
2620 tl_assert( HG_(is_sane_LockN)(lk) ); in evh__HG_PTHREAD_RWLOCK_DESTROY_PRE()
2645 tl_assert(isW == 0 || isW == 1); /* assured us by wrapper */ in evh__HG_PTHREAD_RWLOCK_LOCK_PRE()
2646 tl_assert(isTryLock == 0 || isTryLock == 1); /* assured us by wrapper */ in evh__HG_PTHREAD_RWLOCK_LOCK_PRE()
2648 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_RWLOCK_LOCK_PRE()
2669 tl_assert(isW == 0 || isW == 1); /* assured us by wrapper */ in evh__HG_PTHREAD_RWLOCK_LOCK_POST()
2671 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_RWLOCK_LOCK_POST()
2690 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_RWLOCK_UNLOCK_PRE()
2703 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_RWLOCK_UNLOCK_POST()
2759 tl_assert(so); in push_SO_for_sem()
2763 tl_assert(keyW == (UWord)sem); in push_SO_for_sem()
2764 tl_assert(xa); in push_SO_for_sem()
2782 tl_assert(keyW == (UWord)sem); in mb_pop_SO_for_sem()
2784 tl_assert(sz >= 0); in mb_pop_SO_for_sem()
2788 tl_assert(so); in mb_pop_SO_for_sem()
2818 tl_assert(keyW == (UWord)sem); in evh__HG_POSIX_SEM_DESTROY_PRE()
2819 tl_assert(xa); in evh__HG_POSIX_SEM_DESTROY_PRE()
2820 tl_assert(VG_(sizeXA)(xa) == 0); /* preceding loop just emptied it */ in evh__HG_POSIX_SEM_DESTROY_PRE()
2836 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_POSIX_SEM_INIT_POST()
2858 tl_assert(hbthr); in evh__HG_POSIX_SEM_INIT_POST()
2885 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_POSIX_SEM_POST_PRE()
2890 tl_assert(hbthr); in evh__HG_POSIX_SEM_POST_PRE()
2913 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_POSIX_SEM_WAIT_POST()
2921 tl_assert(hbthr); in evh__HG_POSIX_SEM_WAIT_POST()
2952 tl_assert(bar->initted == False); in new_Bar()
2957 tl_assert(bar); in delete_Bar()
2979 tl_assert(key == (UWord)barrier); in map_barrier_to_Bar_lookup_or_alloc()
2993 tl_assert(keyW == (UWord)barrier); in map_barrier_to_Bar_delete()
3013 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_BARRIER_INIT_PRE()
3028 tl_assert(bar); in evh__HG_PTHREAD_BARRIER_INIT_PRE()
3037 tl_assert(bar->initted); in evh__HG_PTHREAD_BARRIER_INIT_PRE()
3048 tl_assert(VG_(sizeXA)(bar->waiting) == 0); in evh__HG_PTHREAD_BARRIER_INIT_PRE()
3070 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_BARRIER_DESTROY_PRE()
3073 tl_assert(bar); in evh__HG_PTHREAD_BARRIER_DESTROY_PRE()
3111 tl_assert(bar->waiting); in do_barrier_cross_sync_and_empty()
3112 tl_assert(VG_(sizeXA)(bar->waiting) == bar->size); in do_barrier_cross_sync_and_empty()
3189 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_BARRIER_WAIT_PRE()
3192 tl_assert(bar); in evh__HG_PTHREAD_BARRIER_WAIT_PRE()
3202 tl_assert(bar->size > 0); in evh__HG_PTHREAD_BARRIER_WAIT_PRE()
3203 tl_assert(bar->waiting); in evh__HG_PTHREAD_BARRIER_WAIT_PRE()
3209 tl_assert(present > 0 && present <= bar->size); in evh__HG_PTHREAD_BARRIER_WAIT_PRE()
3232 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_PTHREAD_BARRIER_RESIZE_PRE()
3235 tl_assert(bar); in evh__HG_PTHREAD_BARRIER_RESIZE_PRE()
3259 tl_assert(bar->size > 0); in evh__HG_PTHREAD_BARRIER_RESIZE_PRE()
3260 tl_assert(bar->waiting); in evh__HG_PTHREAD_BARRIER_RESIZE_PRE()
3262 tl_assert(newcount > 0); in evh__HG_PTHREAD_BARRIER_RESIZE_PRE()
3275 tl_assert(present >= 0 && present <= bar->size); in evh__HG_PTHREAD_BARRIER_RESIZE_PRE()
3309 tl_assert(key == (UWord)usertag); in map_usertag_to_SO_lookup_or_alloc()
3323 tl_assert(keyW == usertag); in map_usertag_to_SO_delete()
3324 tl_assert(so); in map_usertag_to_SO_delete()
3350 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_USERSO_SEND_PRE()
3353 tl_assert(so); in evh__HG_USERSO_SEND_PRE()
3375 tl_assert(thr); /* cannot fail - Thread* must already exist */ in evh__HG_USERSO_RECV_POST()
3378 tl_assert(so); in evh__HG_USERSO_RECV_POST()
3416 tl_assert(thr != NULL); in evh__HG_RTLD_BIND_GUARD()
3436 tl_assert(thr != NULL); in evh__HG_RTLD_BIND_CLEAR()
3518 tl_assert(!laog); in laog__init()
3519 tl_assert(!laog_exposition); in laog__init()
3520 tl_assert(HG_(clo_track_lockorders)); in laog__init()
3540 tl_assert(me); in laog__show()
3541 tl_assert(links); in laog__show()
3571 tl_assert(links); in univ_laog_do_GC()
3572 tl_assert(links->inns >= 0 && links->inns < univ_laog_cardinality); in univ_laog_do_GC()
3574 tl_assert(links->outs >= 0 && links->outs < univ_laog_cardinality); in univ_laog_do_GC()
3652 tl_assert(links); in laog__add_edge()
3653 tl_assert(keyW == (UWord)src); in laog__add_edge()
3668 tl_assert(links); in laog__add_edge()
3669 tl_assert(keyW == (UWord)dst); in laog__add_edge()
3680 tl_assert( (presentF && presentR) || (!presentF && !presentR) ); in laog__add_edge()
3695 tl_assert(laog_exposition); in laog__add_edge()
3722 tl_assert(links); in laog__del_edge()
3723 tl_assert(keyW == (UWord)src); in laog__del_edge()
3730 tl_assert(links); in laog__del_edge()
3731 tl_assert(keyW == (UWord)dst); in laog__del_edge()
3764 tl_assert(links); in laog__succs()
3765 tl_assert(keyW == (UWord)lk); in laog__succs()
3779 tl_assert(links); in laog__preds()
3780 tl_assert(keyW == (UWord)lk); in laog__preds()
3799 tl_assert(me); in laog__sanity_check()
3800 tl_assert(links); in laog__sanity_check()
3824 tl_assert(0); in laog__sanity_check()
3927 tl_assert(found != &key); in laog__pre_thread_acquires_lock()
3928 tl_assert(found->src_ga == key.src_ga); in laog__pre_thread_acquires_lock()
3929 tl_assert(found->dst_ga == key.dst_ga); in laog__pre_thread_acquires_lock()
3930 tl_assert(found->src_ec); in laog__pre_thread_acquires_lock()
3931 tl_assert(found->dst_ec); in laog__pre_thread_acquires_lock()
3993 tl_assert(lk->acquired_at); in laog__pre_thread_acquires_lock()
3997 tl_assert(old->acquired_at); in laog__pre_thread_acquires_lock()
4075 tl_assert (linked_lk == lk); in laog__handle_one_lock_deletion()
4142 tl_assert( ((SSizeT)szB) >= 0 ); in handle_alloc()
4212 tl_assert(md->payload == (Addr)p); in handle_free()
4218 tl_assert(old_md); /* it must be present - we just found it */ in handle_free()
4219 tl_assert(old_md == md); in handle_free()
4220 tl_assert(old_md->payload == (Addr)p); in handle_free()
4253 tl_assert(md->payload == payload); in hg_cli__realloc()
4297 tl_assert(md_tmp); in hg_cli__realloc()
4298 tl_assert(md_tmp == md); in hg_cli__realloc()
4378 tl_assert(mm); in HG_()
4379 tl_assert(addr_is_in_MM_Chunk(mm, data_addr)); in HG_()
4402 tl_assert(arg1 && arg2); in mk_And1()
4403 tl_assert(isIRAtom(arg1)); in mk_And1()
4404 tl_assert(isIRAtom(arg2)); in mk_And1()
4439 tl_assert(isIRAtom(addr)); in instrument_mem_access()
4440 tl_assert(hWordTy_szB == 4 || hWordTy_szB == 8); in instrument_mem_access()
4443 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64); in instrument_mem_access()
4470 tl_assert(szB > 8 && szB <= 512); /* stay sane */ in instrument_mem_access()
4500 tl_assert(szB > 8 && szB <= 512); /* stay sane */ in instrument_mem_access()
4510 tl_assert(hName); in instrument_mem_access()
4511 tl_assert(hAddr); in instrument_mem_access()
4512 tl_assert(argv); in instrument_mem_access()
4598 tl_assert(soname); in is_in_dynamic_linker_shared_object()
4661 tl_assert(bbIn->stmts_used > 0); in hg_instrument()
4662 tl_assert(i < bbIn->stmts_used); in hg_instrument()
4664 tl_assert(Ist_IMark == st->tag); in hg_instrument()
4670 tl_assert(st); in hg_instrument()
4671 tl_assert(isFlatIRStmt(st)); in hg_instrument()
4716 tl_assert(cas->expdHi); in hg_instrument()
4717 tl_assert(cas->dataHi); in hg_instrument()
4719 tl_assert(!cas->expdHi); in hg_instrument()
4720 tl_assert(!cas->dataHi); in hg_instrument()
4780 tl_assert(type != Ity_INVALID); in hg_instrument()
4794 tl_assert(type != Ity_INVALID); in hg_instrument()
4825 tl_assert(d->mAddr != NULL); in hg_instrument()
4826 tl_assert(d->mSize != 0); in hg_instrument()
4845 tl_assert(d->mAddr == NULL); in hg_instrument()
4846 tl_assert(d->mSize == 0); in hg_instrument()
4854 tl_assert(0); in hg_instrument()
4983 tl_assert(0); in handle_gdb_monitor_command()
5001 tl_assert(0); in handle_gdb_monitor_command()
5105 tl_assert(my_thr != NULL); in hg_handle_client_request()
5118 tl_assert(my_thr->synchr_nesting == 0); in hg_handle_client_request()
5128 tl_assert(my_thr); /* See justification above in SET_MY_PTHREAD_T */ in hg_handle_client_request()
5151 tl_assert(found); in hg_handle_client_request()
5168 tl_assert(dmml.hg_dependent); in hg_handle_client_request()
5188 tl_assert(stayer); in hg_handle_client_request()
5206 tl_assert(dmml->hg_dependent->hbthr != stayer->hbthr); in hg_handle_client_request()
5416 tl_assert( thr ); /* I must be mapped */ in hg_handle_client_request()
5417 tl_assert( who ); in hg_handle_client_request()
5418 tl_assert( VG_(strlen)(who) <= 50 ); in hg_handle_client_request()
5713 tl_assert(hbt); in for_libhb__get_stacktrace()
5715 tl_assert(thr); in for_libhb__get_stacktrace()
5719 tl_assert(nActual <= nRequest); in for_libhb__get_stacktrace()
5730 tl_assert(hbt); in for_libhb__get_EC()
5732 tl_assert(thr); in for_libhb__get_EC()
5860 tl_assert( sizeof(void*) == sizeof(struct _MallocMeta*) ); in hg_pre_clo_init()
5861 tl_assert( sizeof(UWord) == sizeof(Addr) ); in hg_pre_clo_init()