| /external/valgrind/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);
80 tl_assert(p);
98 tl_assert(n1w > 0 && n2w > 0);
109 tl_assert(nBig > 0 && nSmall > 0);
163 tl_assert(StackBlock__sane(fb1));
164 tl_assert(StackBlock__sane(fb2));
194 tl_assert(StackBlock__sane(fb1));
195 tl_assert(StackBlock__sane(fb2));
218 tl_assert(i == n1 && i == n2);
245 tl_assert(!frameBlocks_set)
[all...] |
| /external/valgrind/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_errors.c | 84 tl_assert(copy);
108 tl_assert( HG_(is_sane_LockNorP)(lk1) );
109 tl_assert( HG_(is_sane_LockNorP)(lk2) );
158 tl_assert(allowed_to_be_invalid);
163 tl_assert( HG_(is_sane_LockN)(lkn) );
184 tl_assert( HG_(is_sane_LockP)(lkp) );
211 tl_assert(univ_lsets);
212 tl_assert( HG_(plausibleWS)(univ_lsets, lockset) );
216 tl_assert(lockPs[nLocks] == NULL); /* pre-NULL terminated */
223 tl_assert(lockNs)
[all...] |
| hg_main.c | 217 tl_assert(HG_(is_sane_LockN)(lock));
225 tl_assert(HG_(is_sane_LockN)(lk));
226 tl_assert(lk->hbso);
232 tl_assert(lk->admin_prev == NULL);
238 tl_assert(lk->admin_prev != NULL);
253 tl_assert(HG_(is_sane_LockN)(lk));
254 tl_assert(HG_(is_sane_Thread)(thr));
263 tl_assert(lk->heldBy == NULL);
268 tl_assert(lk->heldBy != NULL);
275 tl_assert(lk->heldBy == NULL); /* can't w-lock recursively *
[all...] |
| libhb_core.c | 433 tl_assert ((a - start < szB)
498 tl_assert(lineZ->dict[0] == SVal_INVALID);
674 tl_assert(n > 0);
676 tl_assert(shmem__bigchunk_next <= shmem__bigchunk_end1);
677 tl_assert(shmem__bigchunk_end1 - shmem__bigchunk_next
689 tl_assert(shmem__bigchunk_next);
690 tl_assert( 0 == (((Addr)shmem__bigchunk_next) & (16-1)) );
691 tl_assert(shmem__bigchunk_next + n <= shmem__bigchunk_end1);
705 tl_assert (sm);
706 tl_assert (sm->magic == SecMap_free_MAGIC)
[all...] |
| hg_basics.c | 48 tl_assert(n > 0);
56 tl_assert(p);
|
| hg_addrdescr.c | 50 tl_assert(ai->tag == Addr_Undescribed);
72 tl_assert(is_heapblock == (hctxt != NULL));
91 tl_assert(ai->Addr.Stack.tinfo.tid);
|
| /external/valgrind/drd/ |
| drd_clientobj.c | 60 tl_assert(s_clientobj_set == 0);
72 tl_assert(s_clientobj_set);
73 tl_assert(VG_(OSetGen_Size)(s_clientobj_set) == 0);
109 tl_assert(a1 <= a2);
131 tl_assert(! DRD_(clientobj_present)(a1, a1 + 1));
132 tl_assert(VG_(OSetGen_Lookup)(s_clientobj_set, &a1) == 0);
143 tl_assert(VG_(OSetGen_Lookup)(s_clientobj_set, &a1) == p);
162 tl_assert(p);
163 tl_assert(p->any.type == t);
178 tl_assert(p)
[all...] |
| drd_bitmap.c | 31 #include "pub_tool_libcassert.h" /* tl_assert() */
56 tl_assert(!s_bm2_set_template);
64 tl_assert(s_bm2_set_template);
75 tl_assert((1 << BITS_PER_BITS_PER_UWORD) == BITS_PER_UWORD);
85 tl_assert(bm);
96 tl_assert(bm);
131 tl_assert(access_type == eLoad || access_type == eStore);
143 tl_assert(bm);
144 tl_assert(a1 <= a2);
145 tl_assert(a2 < first_address_with_higher_msb(a2))
[all...] |
| drd_vc.c | 27 #include "pub_tool_libcassert.h" // tl_assert()
50 tl_assert(vc);
55 tl_assert(size == 0 || vc->vc != 0);
96 tl_assert(oldcount < vc->vc[i].count);
130 tl_assert(result);
131 tl_assert(rhs);
153 tl_assert(result->vc[i].threadid == rhs->vc[j].threadid);
173 tl_assert(result);
174 tl_assert(rhs);
228 tl_assert(result->vc[i].threadid == rhs->vc[j].threadid)
[all...] |
| drd_bitmap.h | 168 tl_assert(a < (1U << ADDR_LSB_BITS));
182 tl_assert(a < (1U << ADDR_LSB_BITS));
234 tl_assert(address_msb(make_address(0, a)) == 0);
243 tl_assert(address_msb(make_address(0, a)) == 0);
257 tl_assert(size > 0);
258 tl_assert(address_msb(make_address(0, a)) == 0);
259 tl_assert(address_msb(make_address(0, a + size - 1)) == 0);
260 tl_assert(uword_msb(a) == uword_msb(a + size - 1));
270 tl_assert(address_msb(make_address(0, a)) == 0);
284 tl_assert(address_msb(make_address(0, a)) == 0)
[all...] |
| drd_thread.c | 36 #include "pub_tool_libcassert.h" // tl_assert()
93 tl_assert(t == False || t == True);
100 tl_assert(t == False || t == True);
107 tl_assert(t == False || t == True);
120 tl_assert(t == False || t == True);
127 tl_assert(m == False || m == True);
188 tl_assert(DRD_(VgThreadIdToDrdThreadId)(tid) == DRD_INVALID_THREADID);
194 tl_assert(! DRD_(IsValidDrdThreadId)(i));
216 tl_assert(DRD_(g_threadinfo)[i].sg_first == NULL);
217 tl_assert(DRD_(g_threadinfo)[i].sg_last == NULL)
[all...] |
| drd_suppression.c | 27 #include "pub_tool_libcassert.h" // tl_assert()
54 tl_assert(s_suppressed == 0);
55 tl_assert(s_traced == 0);
58 tl_assert(s_suppressed);
59 tl_assert(s_traced);
69 tl_assert(a1 <= a2);
81 tl_assert(a1 <= a2);
122 tl_assert(a1 <= a2);
140 tl_assert(a1 <= a2);
173 tl_assert(a1)
[all...] |
| drd_segment.c | 29 #include "pub_tool_libcassert.h" // tl_assert()
69 tl_assert(sg);
70 tl_assert(creator == DRD_INVALID_THREADID
109 tl_assert(sg);
110 tl_assert(sg->refcnt == 0);
150 tl_assert(sg);
164 tl_assert(sg);
190 tl_assert(sg->refcnt >= 1);
201 tl_assert(sg1);
202 tl_assert(sg1->refcnt == 1)
[all...] |
| drd_semaphore.c | 30 #include "pub_tool_libcassert.h" // tl_assert()
55 tl_assert(sg);
61 tl_assert(*(Segment**)VG_(indexXA)(p->last_sem_post_seg, n) == sg);
79 tl_assert(sg);
99 tl_assert(semaphore != 0);
100 tl_assert(p->a1 == semaphore);
101 tl_assert(p->type == ClientSemaphore);
147 tl_assert(offsetof(DrdClientobj, semaphore) == 0);
151 tl_assert(offsetof(DrdClientobj, semaphore) == 0);
164 tl_assert(offsetof(DrdClientobj, semaphore) == 0)
[all...] |
| drd_malloc_wrappers.c | 93 tl_assert(p);
113 tl_assert(p);
115 tl_assert(success);
126 tl_assert(p);
133 tl_assert(p == mc->data);
200 tl_assert(0);
294 tl_assert(s_malloc_list == 0);
296 tl_assert(start_callback);
297 tl_assert(stop_callback);
322 tl_assert(data)
[all...] |
| drd_barrier.c | 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)
[all...] |
| drd_mutex.c | 31 #include "pub_tool_libcassert.h" /* tl_assert() */
58 tl_assert((!! trace_mutex) == trace_mutex);
71 tl_assert(mutex);
72 tl_assert(p->a1 == mutex);
106 tl_assert(p);
163 tl_assert(offsetof(DrdClientobj, mutex) == 0);
189 tl_assert(offsetof(DrdClientobj, mutex) == 0);
274 tl_assert(p);
325 tl_assert(p->last_locked_segment);
400 tl_assert(p)
[all...] |
| /external/valgrind/cachegrind/ |
| cg_branchpred.c | 105 tl_assert(hist_bits <= hist_mask);
106 tl_assert(iadd_bits <= iadd_mask);
108 tl_assert(indx < N_COUNTERS);
111 tl_assert(takenW <= 1);
129 tl_assert(counters[indx] <= 3);
149 tl_assert(indx < N_BTAC);
|
| /external/valgrind/lackey/ |
| lk_main.c | 207 tl_assert(clo_fnname);
208 tl_assert(clo_fnname[0]);
327 default: tl_assert(0);
348 default: tl_assert(0);
373 tl_assert(op < N_OPS);
374 tl_assert(typeIx < N_TYPES);
505 tl_assert(0);
530 tl_assert(clo_trace_mem);
531 tl_assert( (VG_MIN_INSTR_SZB <= isize && isize <= VG_MAX_INSTR_SZB)
535 tl_assert(events_used >= 0 && events_used < N_EVENTS)
[all...] |
| /external/valgrind/VEX/useful/ |
| test_main.c | 476 #define tl_assert(xxx) assert(xxx) macro
612 tl_assert(orig < mce->n_originalTmps);
629 tl_assert(orig < mce->n_originalTmps);
762 tl_assert(isShadowAtom(mce,a1));
763 tl_assert(isShadowAtom(mce,a2));
768 tl_assert(isShadowAtom(mce,a1));
769 tl_assert(isShadowAtom(mce,a2));
774 tl_assert(isShadowAtom(mce,a1));
775 tl_assert(isShadowAtom(mce,a2));
780 tl_assert(isShadowAtom(mce,a1))
[all...] |
| /external/valgrind/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...] |
| /external/valgrind/none/tests/ |
| valgrind_cpp_test.cpp | 33 tl_assert(x);
|
| /external/valgrind/memcheck/ |
| mc_translate.c | 259 tl_assert(newIx == (Word)tmp);
272 tl_assert(ent->kind == Orig);
279 tl_assert(ent->kind == Orig);
280 tl_assert(ent->shadowV == IRTemp_INVALID);
302 tl_assert(ent->kind == Orig);
309 tl_assert(ent->kind == Orig);
462 tl_assert(tyE == ty); /* so 'ty' is redundant (!) */
469 default: tl_assert(0);
499 tl_assert(isShadowAtom(mce,a1));
500 tl_assert(isShadowAtom(mce,a2))
[all...] |
