| /external/valgrind/main/drd/ |
| drd_bitmap.c | 33 #include "pub_tool_libcassert.h" /* tl_assert() */
62 tl_assert((1 << BITS_PER_BITS_PER_UWORD) == BITS_PER_UWORD);
72 tl_assert(bm);
83 tl_assert(bm);
119 tl_assert(access_type == eLoad || access_type == eStore);
131 tl_assert(bm);
132 tl_assert(a1 <= a2);
133 tl_assert(a2 < first_address_with_higher_msb(a2));
134 tl_assert(a1 == first_address_with_same_lsb(a1));
135 tl_assert(a2 == first_address_with_same_lsb(a2))
[all...] |
| drd_thread.c | 37 #include "pub_tool_libcassert.h" // tl_assert()
89 tl_assert(t == False || t == True);
96 tl_assert(t == False || t == True);
103 tl_assert(t == False || t == True);
116 tl_assert(t == False || t == True);
123 tl_assert(m == False || m == True);
174 tl_assert(DRD_(VgThreadIdToDrdThreadId)(tid) == DRD_INVALID_THREADID);
180 tl_assert(! DRD_(IsValidDrdThreadId)(i));
197 tl_assert(DRD_(g_threadinfo)[i].first == 0);
198 tl_assert(DRD_(g_threadinfo)[i].last == 0)
[all...] |
| drd_segment.c | 30 #include "pub_tool_libcassert.h" // tl_assert()
65 tl_assert(sg);
66 tl_assert(creator == DRD_INVALID_THREADID
103 tl_assert(sg);
104 tl_assert(sg->refcnt == 0);
121 tl_assert(sg);
140 tl_assert(sg);
148 tl_assert(sg);
174 tl_assert(sg->refcnt >= 1);
185 tl_assert(sg1)
[all...] |
| drd_vc.c | 28 #include "pub_tool_libcassert.h" // tl_assert()
51 tl_assert(vc);
56 tl_assert(size == 0 || vc->vc != 0);
94 tl_assert(oldcount < vc->vc[i].count);
128 tl_assert(result);
129 tl_assert(rhs);
151 tl_assert(result->vc[i].threadid == rhs->vc[j].threadid);
171 tl_assert(result);
172 tl_assert(rhs);
226 tl_assert(result->vc[i].threadid == rhs->vc[j].threadid)
[all...] |
| drd_bitmap2_node.c | 36 #include "pub_tool_libcassert.h" /* tl_assert() */
75 tl_assert(s_bm2_node_size > 0);
79 tl_assert(p);
87 tl_assert(p->data);
95 tl_assert(i == NODES_PER_CHUNCK - 1);
104 tl_assert(p);
105 tl_assert(p->nallocated == 0);
136 tl_assert(s_bm2_node_size == szB);
160 tl_assert(bm2);
166 tl_assert(((char*)bm2 - (char*)(p->data)) % s_bm2_node_size == 0)
[all...] |
| drd_suppression.c | 28 #include "pub_tool_libcassert.h" // tl_assert()
55 tl_assert(DRD_(s_suppressed) == 0);
56 tl_assert(DRD_(s_traced) == 0);
59 tl_assert(DRD_(s_suppressed));
60 tl_assert(DRD_(s_traced));
72 tl_assert(a1 <= a2);
85 tl_assert(a1 <= a2);
121 tl_assert(a1 <= a2);
132 tl_assert(a1 <= a2);
162 tl_assert(a1)
[all...] |
| drd_clientobj.c | 61 tl_assert(s_clientobj_set == 0);
64 tl_assert(s_clientobj_set);
74 tl_assert(s_clientobj_set);
75 tl_assert(VG_(OSetGen_Size)(s_clientobj_set) == 0);
111 tl_assert(a1 <= a2);
133 tl_assert(! DRD_(clientobj_present)(a1, a1 + 1));
134 tl_assert(VG_(OSetGen_Lookup)(s_clientobj_set, &a1) == 0);
145 tl_assert(VG_(OSetGen_Lookup)(s_clientobj_set, &a1) == p);
164 tl_assert(p);
165 tl_assert(p->any.type == t)
[all...] |
| drd_hb.c | 30 #include "pub_tool_libcassert.h" /* tl_assert() */
82 tl_assert(p);
89 tl_assert(hb != 0);
90 tl_assert(p->a1 == hb);
91 tl_assert(p->type == ClientHbvar);
107 tl_assert(p);
135 tl_assert(offsetof(DrdClientobj, hb) == 0);
153 tl_assert(offsetof(DrdClientobj, hb) == 0);
181 tl_assert(VG_(OSetGen_Lookup)(p->oset, &word_tid) == q);
220 tl_assert(q->sg)
[all...] |
| drd_semaphore.c | 31 #include "pub_tool_libcassert.h" // tl_assert()
56 tl_assert(sg);
62 tl_assert(*(Segment**)VG_(indexXA)(p->last_sem_post_seg, n) == sg);
80 tl_assert(sg);
100 tl_assert(semaphore != 0);
101 tl_assert(p->a1 == semaphore);
102 tl_assert(p->type == ClientSemaphore);
148 tl_assert(offsetof(DrdClientobj, semaphore) == 0);
152 tl_assert(offsetof(DrdClientobj, semaphore) == 0);
165 tl_assert(offsetof(DrdClientobj, semaphore) == 0)
[all...] |
| drd_barrier.c | 31 #include "pub_tool_libcassert.h" // tl_assert()
100 tl_assert(p);
117 tl_assert(barrier != 0);
118 tl_assert(barrier_type == pthread_barrier || barrier_type == gomp_barrier);
119 tl_assert(p->a1 == barrier);
131 tl_assert(sizeof(((struct barrier_thread_info*)0)->tid) == sizeof(Word));
132 tl_assert(sizeof(((struct barrier_thread_info*)0)->tid)
153 tl_assert(p);
156 tl_assert(latest_sg);
198 tl_assert(barrier_type == pthread_barrier || barrier_type == gomp_barrier)
[all...] |
| drd_cond.c | 31 #include "pub_tool_libcassert.h" /* tl_assert() */
64 tl_assert(cond != 0);
65 tl_assert(p->a1 == cond);
66 tl_assert(p->type == ClientCondvar);
80 tl_assert(p);
123 tl_assert(offsetof(DrdClientobj, cond) == 0);
141 tl_assert(offsetof(DrdClientobj, cond) == 0);
245 tl_assert(p->mutex);
308 tl_assert(cond_p);
359 tl_assert(DRD_(pthread_cond_initializer))
[all...] |
| drd_bitmap.h | 166 tl_assert(a < (1U << ADDR_LSB_BITS));
180 tl_assert(a < (1U << ADDR_LSB_BITS));
232 tl_assert(address_msb(make_address(0, a)) == 0);
241 tl_assert(address_msb(make_address(0, a)) == 0);
255 tl_assert(size > 0);
256 tl_assert(address_msb(make_address(0, a)) == 0);
257 tl_assert(address_msb(make_address(0, a + size - 1)) == 0);
258 tl_assert(uword_msb(a) == uword_msb(a + size - 1));
268 tl_assert(address_msb(make_address(0, a)) == 0);
282 tl_assert(address_msb(make_address(0, a)) == 0)
[all...] |
| drd_mutex.c | 32 #include "pub_tool_libcassert.h" /* tl_assert() */
59 tl_assert(!! trace_mutex == trace_mutex);
72 tl_assert(mutex);
73 tl_assert(p->a1 == mutex);
89 tl_assert(p);
146 tl_assert(offsetof(DrdClientobj, mutex) == 0);
172 tl_assert(offsetof(DrdClientobj, mutex) == 0);
257 tl_assert(p);
308 tl_assert(p->last_locked_segment);
382 tl_assert(p)
[all...] |
| drd_rwlock.c | 31 #include "pub_tool_libcassert.h" // tl_assert()
72 tl_assert(trace_rwlock == False || trace_rwlock == True);
160 tl_assert(q);
205 tl_assert(p);
207 tl_assert(rwlock_type == pthread_rwlock || rwlock_type == user_rwlock);
208 tl_assert(p->rwlock_type == pthread_rwlock || p->rwlock_type == user_rwlock);
232 tl_assert(rwlock != 0);
233 tl_assert(p->a1 == rwlock);
234 tl_assert(p->type == ClientRwlock);
251 tl_assert(p)
[all...] |
| drd_malloc_wrappers.c | 94 tl_assert(p);
114 tl_assert(p);
116 tl_assert(success);
127 tl_assert(p);
134 tl_assert(p == mc->data);
201 tl_assert(0);
295 tl_assert(s_malloc_list == 0);
297 tl_assert(s_malloc_list);
298 tl_assert(start_callback);
299 tl_assert(stop_callback)
[all...] |
| /external/valgrind/main/helgrind/ |
| hg_wordset.c | 76 tl_assert((_zzdynmax) >= 1); \
77 tl_assert((_zzdynmax) <= N_WCACHE_STAT_MAX); \
88 tl_assert(_cache->dynMax >= 1); \
89 tl_assert(_cache->dynMax <= N_WCACHE_STAT_MAX); \
90 tl_assert(_cache->inUse >= 0); \
91 tl_assert(_cache->inUse <= _cache->dynMax); \
115 tl_assert(_cache->dynMax >= 1); \
116 tl_assert(_cache->dynMax <= N_WCACHE_STAT_MAX); \
117 tl_assert(_cache->inUse >= 0); \
118 tl_assert(_cache->inUse <= _cache->dynMax);
[all...] |
| hg_main.c | 201 tl_assert(HG_(is_sane_LockN)(lock));
209 tl_assert(HG_(is_sane_LockN)(lk));
210 tl_assert(lk->hbso);
216 tl_assert(lk->admin_prev == NULL);
222 tl_assert(lk->admin_prev != NULL);
237 tl_assert(HG_(is_sane_LockN)(lk));
238 tl_assert(HG_(is_sane_Thread)(thr));
247 tl_assert(lk->heldBy == NULL);
252 tl_assert(lk->heldBy != NULL);
259 tl_assert(lk->heldBy == NULL); /* can't w-lock recursively *
[all...] |
| libhb_core.c | 636 tl_assert(n > 0);
638 tl_assert(shmem__bigchunk_next <= shmem__bigchunk_end1);
639 tl_assert(shmem__bigchunk_end1 - shmem__bigchunk_next
651 tl_assert(shmem__bigchunk_next);
652 tl_assert( 0 == (((Addr)shmem__bigchunk_next) & (16-1)) );
653 tl_assert(shmem__bigchunk_next + n <= shmem__bigchunk_end1);
663 tl_assert(sm);
709 tl_assert(sm != NULL);
715 tl_assert(sm == NULL);
729 tl_assert(sm)
[all...] |
| hg_errors.c | 77 tl_assert(string_table);
81 tl_assert(copy);
86 tl_assert(copy);
106 tl_assert( HG_(is_sane_LockNorP)(lk1) );
107 tl_assert( HG_(is_sane_LockNorP)(lk2) );
156 tl_assert(allowed_to_be_invalid);
161 tl_assert( HG_(is_sane_LockN)(lkn) );
166 tl_assert(map_LockN_to_P);
183 tl_assert( HG_(is_sane_LockP)(lkp) );
198 tl_assert(univ_lsets)
[all...] |
| /external/valgrind/main/exp-sgcheck/ |
| h_main.c | 129 tl_assert(is_known_segment(seg));
135 tl_assert(is_known_segment(seg));
141 tl_assert(is_known_segment(seg));
178 tl_assert(group_list->nextfree <= N_SEGS_PER_GROUP);
184 tl_assert(group_list->nextfree < N_SEGS_PER_GROUP);
200 tl_assert(freesegs_youngest);
201 tl_assert(freesegs_oldest);
202 tl_assert(freesegs_youngest != freesegs_oldest);
213 tl_assert(seg);
214 tl_assert(!Seg__is_freed(seg))
[all...] |
| sg_main.c | 74 tl_assert(n > 0);
76 tl_assert(p);
81 tl_assert(p);
99 tl_assert(n1w > 0 && n2w > 0);
110 tl_assert(nBig > 0 && nSmall > 0);
164 tl_assert(StackBlock__sane(fb1));
165 tl_assert(StackBlock__sane(fb2));
195 tl_assert(StackBlock__sane(fb1));
196 tl_assert(StackBlock__sane(fb2));
219 tl_assert(i == n1 && i == n2)
[all...] |
| /external/valgrind/main/VEX/ |
| test_main.c | 432 #define tl_assert(xxx) assert(xxx) macro
568 tl_assert(orig < mce->n_originalTmps);
585 tl_assert(orig < mce->n_originalTmps);
718 tl_assert(isShadowAtom(mce,a1));
719 tl_assert(isShadowAtom(mce,a2));
724 tl_assert(isShadowAtom(mce,a1));
725 tl_assert(isShadowAtom(mce,a2));
730 tl_assert(isShadowAtom(mce,a1));
731 tl_assert(isShadowAtom(mce,a2));
736 tl_assert(isShadowAtom(mce,a1))
[all...] |
| /external/valgrind/main/coregrind/ |
| m_wordfm.c | 133 tl_assert(0);
193 default: tl_assert(0);
214 tl_assert(0);/*NOTREACHED*/
226 default: tl_assert(0);
247 tl_assert(0);/*NOTREACHED*/
276 tl_assert(left_subtree);
284 default: tl_assert(0);
300 tl_assert(0);
312 tl_assert(right_subtree);
320 default: tl_assert(0)
[all...] |
| /external/valgrind/main/memcheck/ |
| mc_translate.c | 240 tl_assert(newIx == (Word)tmp);
253 tl_assert(ent->kind == Orig);
260 tl_assert(ent->kind == Orig);
261 tl_assert(ent->shadowV == IRTemp_INVALID);
283 tl_assert(ent->kind == Orig);
290 tl_assert(ent->kind == Orig);
435 tl_assert(tyE == ty); /* so 'ty' is redundant (!) */
442 default: tl_assert(0);
469 tl_assert(isShadowAtom(mce,a1));
470 tl_assert(isShadowAtom(mce,a2))
[all...] |
| /external/valgrind/main/exp-dhat/ |
| dh_main.c | 97 tl_assert(b1->req_szB > 0);
98 tl_assert(b2->req_szB > 0);
142 tl_assert(foundval == 0); // we don't store vals in the interval tree
143 tl_assert(foundkey != 1);
145 tl_assert(res != &fake);
162 tl_assert(found);
227 tl_assert(bk);
228 tl_assert(bk->ap);
237 tl_assert(keyW == (UWord)bk->ap);
244 tl_assert(!present)
[all...] |
