Home | History | Annotate | Download | only in drd

Lines Matching refs:tl_assert

60    tl_assert(s_clientobj_set == 0);
63    tl_assert(s_clientobj_set);
73    tl_assert(s_clientobj_set);
74    tl_assert(VG_(OSetGen_Size)(s_clientobj_set) == 0);
110    tl_assert(a1 <= a2);
132    tl_assert(! DRD_(clientobj_present)(a1, a1 + 1));
133    tl_assert(VG_(OSetGen_Lookup)(s_clientobj_set, &a1) == 0);
144    tl_assert(VG_(OSetGen_Lookup)(s_clientobj_set, &a1) == p);
163    tl_assert(p);
164    tl_assert(p->any.type == t);
179    tl_assert(p);
190    tl_assert(p->any.cleanup);
209    tl_assert(s_clientobj_set);
217       tl_assert(a1 <= p->any.a1);