Searched refs:is_sane_Thread (Results 1 – 4 of 4) sorted by relevance
511 tl_assert( HG_(is_sane_Thread)(thr) ); in HG_()567 tl_assert( HG_(is_sane_Thread)(thr) ); in HG_()586 tl_assert( HG_(is_sane_Thread)(thr) ); in HG_()587 tl_assert( HG_(is_sane_Thread)(owner) ); in HG_()605 tl_assert( HG_(is_sane_Thread)(thr) ); in HG_()627 tl_assert( HG_(is_sane_Thread)(thr) ); in HG_()648 tl_assert( HG_(is_sane_Thread)(thr) ); in HG_()668 tl_assert( HG_(is_sane_Thread)(thr) ); in HG_()767 tl_assert(HG_(is_sane_Thread)(thr)); in announce_one_thread()944 tl_assert( HG_(is_sane_Thread)( xe->XE.Misc.thr ) ); in HG_()[all …]
48 inline Bool HG_(is_sane_Thread) ( Thread* thr ) { in HG_() argument59 if (!HG_(is_sane_Thread)(thr)) return False; in is_sane_Bag_of_Threads()
165 Bool HG_(is_sane_Thread) ( Thread* thr );
238 tl_assert(HG_(is_sane_Thread)(thr)); in lockN_acquire_writer()289 tl_assert(HG_(is_sane_Thread)(thr)); in lockN_acquire_reader()331 tl_assert(HG_(is_sane_Thread)(thr)); in lockN_release()360 tl_assert(HG_(is_sane_Thread)(thr)); in remove_Lock_from_locksets_of_all_owning_Threads()637 tl_assert(HG_(is_sane_Thread)(thr)); in map_threads_maybe_reverse_lookup_SLOW()821 if (!HG_(is_sane_Thread)(thr)) BAD("1"); in threads__sanity_check()882 tl_assert(HG_(is_sane_Thread)(thr)); in locks__sanity_check()1037 tl_assert(HG_(is_sane_Thread)(thr)); in evhH__post_thread_w_acquires_lock()1134 tl_assert(HG_(is_sane_Thread)(thr)); in evhH__post_thread_r_acquires_lock()1209 tl_assert(HG_(is_sane_Thread)(thr)); in evhH__pre_thread_releases_lock()[all …]