Home | History | Annotate | Download | only in drd

Lines Matching refs:tl_assert

30 #include "pub_tool_libcassert.h"  // tl_assert()
99 tl_assert(p);
116 tl_assert(barrier != 0);
117 tl_assert(barrier_type == pthread_barrier || barrier_type == gomp_barrier);
118 tl_assert(p->a1 == barrier);
130 tl_assert(sizeof(((struct barrier_thread_info*)0)->tid) == sizeof(Word));
131 tl_assert(sizeof(((struct barrier_thread_info*)0)->tid)
152 tl_assert(p);
155 tl_assert(latest_sg);
197 tl_assert(barrier_type == pthread_barrier || barrier_type == gomp_barrier);
199 tl_assert(offsetof(DrdClientobj, barrier) == 0);
215 tl_assert(offsetof(DrdClientobj, barrier) == 0);
232 tl_assert(barrier_type == pthread_barrier || barrier_type == gomp_barrier);
352 tl_assert(p);
361 tl_assert(oset);
366 tl_assert(r == q);
378 tl_assert(VG_(OSetGen_Lookup)(oset, &word_tid) == q);
459 tl_assert(VG_(OSetGen_Lookup)(oset, &word_tid) == q);
481 tl_assert(r->sg);
528 tl_assert(p);
529 tl_assert(q);
545 tl_assert(p);