Lines Matching refs:tl_assert
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 */
260 tl_assert(!lk->heldW);
269 tl_assert(lk->heldW);
271 tl_assert(VG_(sizeUniqueBag(lk->heldBy)) == 1);
273 tl_assert(VG_(elemBag)(lk->heldBy, (Word)thr)
278 tl_assert(lk->heldBy == NULL && !lk->heldW); /* must be unheld */
281 tl_assert(0);
283 tl_assert(HG_(is_sane_LockN)(lk));
288 tl_assert(HG_(is_sane_LockN)(lk));
289 tl_assert(HG_(is_sane_Thread)(thr));
291 tl_assert(lk->kind == LK_rdwr);
293 tl_assert(lk->heldBy == NULL
303 tl_assert(lk->heldBy == NULL);
308 tl_assert(lk->heldBy != NULL);
319 tl_assert(!lk->heldW);
320 tl_assert(HG_(is_sane_LockN)(lk));
330 tl_assert(HG_(is_sane_LockN)(lk));
331 tl_assert(HG_(is_sane_Thread)(thr));
333 tl_assert(lk->heldBy);
338 tl_assert(b);
340 tl_assert(lk->acquired_at);
347 tl_assert(HG_(is_sane_LockN)(lk));
354 tl_assert(!lk->heldW);
360 tl_assert(HG_(is_sane_Thread)(thr));
361 tl_assert(HG_(elemWS)( univ_lsets,
367 tl_assert(HG_(elemWS)( univ_lsets,
392 tl_assert(n >= 0 && n < 128);
398 tl_assert(i < 128+1);
455 default: tl_assert(0);
555 tl_assert(admin_threads == NULL);
556 tl_assert(admin_locks == NULL);
558 tl_assert(sizeof(Addr) == sizeof(Word));
560 tl_assert(map_threads == NULL);
562 tl_assert(map_threads != NULL);
564 tl_assert(sizeof(Addr) == sizeof(Word));
565 tl_assert(map_locks == NULL);
568 tl_assert(map_locks != NULL);
570 tl_assert(univ_lsets == NULL);
573 tl_assert(univ_lsets != NULL);
578 tl_assert(wsid == 0);
580 tl_assert(univ_laog == NULL);
584 tl_assert(univ_laog != NULL);
594 tl_assert( libhb_get_Thr_hgthread(hbthr_root) == NULL );
598 tl_assert(HG_(is_sane_ThreadId)(thr->coretid));
599 tl_assert(thr->coretid != VG_INVALID_THREADID);
603 tl_assert(VG_INVALID_THREADID == 0);
617 tl_assert( HG_(is_sane_ThreadId)(coretid) );
626 tl_assert( HG_(is_sane_ThreadId)(coretid) );
628 tl_assert(thr);
637 tl_assert(HG_(is_sane_Thread)(thr));
639 tl_assert(VG_INVALID_THREADID >= 0 && VG_INVALID_THREADID < VG_N_THREADS);
640 tl_assert(map_threads[VG_INVALID_THREADID] == NULL);
642 tl_assert(HG_(is_sane_ThreadId)(tid));
651 tl_assert(tid != VG_INVALID_THREADID);
652 tl_assert(map_threads[tid]);
653 tl_assert(map_threads[tid]->coretid == tid);
660 tl_assert(coretid != 0);
661 tl_assert( HG_(is_sane_ThreadId)(coretid) );
663 tl_assert(thr);
680 tl_assert(HG_(is_sane_ThreadId)(tid));
686 tl_assert(HG_(is_sane_LockN)(lock));
688 tl_assert(oldlock == NULL);
691 tl_assert(oldlock != NULL);
692 tl_assert(HG_(is_sane_LockN)(oldlock));
693 tl_assert(oldlock->guestaddr == ga);
703 tl_assert(found ? lk != NULL : lk == NULL);
716 tl_assert(lk != NULL);
717 tl_assert(ga2 == ga);
839 tl_assert(0);
881 tl_assert(count >= 1);
882 tl_assert(HG_(is_sane_Thread)(thr));
905 tl_assert(0);
941 tl_assert(hbthr);
948 tl_assert(hbthr);
954 tl_assert(hbthr);
1004 //zz tl_assert(new_segP);
1005 //zz tl_assert(new_segidP);
1006 //zz tl_assert(HG_(is_sane_Thread)(thr));
1008 //zz tl_assert(cur_seg);
1009 //zz tl_assert(cur_seg->thr == thr); /* all sane segs should point back
1037 tl_assert(HG_(is_sane_Thread)(thr));
1042 tl_assert( HG_(is_sane_LockN)(lk) );
1045 tl_assert(thr->hbthr);
1046 tl_assert(lk->hbso);
1050 tl_assert(!lk->heldW);
1059 tl_assert(lk->heldBy);
1069 tl_assert(VG_(sizeUniqueBag)(lk->heldBy) == 1); /* from precondition */
1111 tl_assert(HG_(is_sane_LockN)(lk));
1134 tl_assert(HG_(is_sane_Thread)(thr));
1138 tl_assert(lkk == LK_rdwr);
1141 tl_assert( HG_(is_sane_LockN)(lk) );
1144 tl_assert(thr->hbthr);
1145 tl_assert(lk->hbso);
1149 tl_assert(!lk->heldW);
1158 tl_assert(lk->heldBy);
1186 tl_assert(HG_(is_sane_LockN)(lk));
1209 tl_assert(HG_(is_sane_Thread)(thr));
1220 tl_assert(lock->guestaddr == lock_ga);
1221 tl_assert(HG_(is_sane_LockN)(lock));
1235 tl_assert(!lock->heldW);
1237 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1238 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1243 tl_assert(lock->heldBy);
1249 tl_assert(n >= 0);
1256 tl_assert(HG_(is_sane_Thread)(realOwner));
1257 tl_assert(realOwner != thr);
1258 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1259 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1265 tl_assert(n >= 1);
1270 tl_assert(n >= 0);
1273 tl_assert(lock->heldBy);
1274 tl_assert(n == VG_(elemBag)( lock->heldBy, (Word)thr ));
1277 tl_assert(lock->kind == LK_mbRec
1279 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (Word)lock ));
1281 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1283 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (Word)lock ));
1296 tl_assert(lock->heldW == False);
1305 tl_assert(!lock->heldBy);
1306 tl_assert(lock->heldW == False);
1309 // tl_assert(0 == VG_(elemBag)( lock->heldBy, (Word)thr ));
1317 tl_assert(thr->hbthr);
1318 tl_assert(lock->hbso);
1326 tl_assert(HG_(is_sane_LockN)(lock));
1355 tl_assert(current_Thread == NULL);
1357 tl_assert(current_Thread != NULL);
1365 tl_assert(current_Thread != NULL);
1505 tl_assert(HG_(is_sane_ThreadId)(parent));
1506 tl_assert(HG_(is_sane_ThreadId)(child));
1507 tl_assert(parent != child);
1512 tl_assert(thr_p != NULL);
1513 tl_assert(thr_c == NULL);
1516 tl_assert(hbthr_p != NULL);
1517 tl_assert( libhb_get_Thr_hgthread(hbthr_p) == thr_p );
1524 tl_assert( libhb_get_Thr_hgthread(hbthr_c) == NULL );
1529 tl_assert(thr_c->coretid == VG_INVALID_THREADID);
1578 tl_assert(HG_(is_sane_ThreadId)(quit_tid));
1580 tl_assert(thr_q != NULL);
1584 tl_assert(nHeld >= 0);
1598 tl_assert(thr_q->hbthr);
1600 tl_assert(thr_q->coretid == quit_tid);
1619 tl_assert(!thr);
1629 tl_assert(thr->hbthr);
1631 tl_assert(thr->coretid == i);
1651 tl_assert(HG_(is_sane_ThreadId)(stay_tid));
1655 tl_assert(thr_s != NULL);
1656 tl_assert(thr_q != NULL);
1657 tl_assert(thr_s != thr_q);
1661 tl_assert(hbthr_s != hbthr_q);
1662 tl_assert( libhb_get_Thr_hgthread(hbthr_s) == thr_s );
1663 tl_assert( libhb_get_Thr_hgthread(hbthr_q) == thr_q );
1670 tl_assert(so);
1698 tl_assert( map_threads_maybe_reverse_lookup_SLOW(thr_q)
1768 tl_assert(thr);
1870 tl_assert(mbRec == 0 || mbRec == 1);
1888 tl_assert( HG_(is_sane_Thread)(thr) );
1898 tl_assert( HG_(is_sane_LockN)(lk) );
1899 tl_assert( lk->guestaddr == (Addr)mutex );
1911 tl_assert( !lk->heldBy );
1912 tl_assert( HG_(is_sane_LockN)(lk) );
1935 tl_assert(isTryLock == 0 || isTryLock == 1);
1937 tl_assert(thr); /* cannot fail - Thread* must already exist */
1976 tl_assert(thr); /* cannot fail - Thread* must already exist */
1994 tl_assert(thr); /* cannot fail - Thread* must already exist */
2007 tl_assert(thr); /* cannot fail - Thread* must already exist */
2036 tl_assert( HG_(is_sane_Thread)(thr) );
2122 tl_assert(map_cond_to_CVInfo != NULL);
2130 tl_assert(key == (UWord)cond);
2146 tl_assert(key == (UWord)cond);
2158 tl_assert(thr); /* cannot fail - Thread* must already exist */
2163 tl_assert(keyW == (UWord)cond);
2164 tl_assert(cvi);
2165 tl_assert(cvi->so);
2197 tl_assert(thr); /* cannot fail - Thread* must already exist */
2200 tl_assert(cvi);
2201 tl_assert(cvi->so);
2275 tl_assert(thr); /* cannot fail - Thread* must already exist */
2288 tl_assert( HG_(is_sane_LockN)(lk) );
2311 tl_assert(cvi);
2312 tl_assert(cvi->so);
2343 tl_assert(thr); /* cannot fail - Thread* must already exist */
2358 tl_assert(cvi);
2359 tl_assert(cvi->so);
2360 tl_assert(cvi->nWaiters > 0);
2419 tl_assert( HG_(is_sane_Thread)(thr) );
2429 tl_assert( HG_(is_sane_LockN)(lk) );
2430 tl_assert( lk->guestaddr == (Addr)rwl );
2442 tl_assert( !lk->heldBy );
2443 tl_assert( HG_(is_sane_LockN)(lk) );
2468 tl_assert(isW == 0 || isW == 1); /* assured us by wrapper */
2469 tl_assert(isTryLock == 0 || isTryLock == 1); /* assured us by wrapper */
2471 tl_assert(thr); /* cannot fail - Thread* must already exist */
2492 tl_assert(isW == 0 || isW == 1); /* assured us by wrapper */
2494 tl_assert(thr); /* cannot fail - Thread* must already exist */
2513 tl_assert(thr); /* cannot fail - Thread* must already exist */
2526 tl_assert(thr); /* cannot fail - Thread* must already exist */
2576 tl_assert(map_sem_to_SO_stack != NULL);
2583 tl_assert(so);
2587 tl_assert(keyW == (UWord)sem);
2588 tl_assert(xa);
2606 tl_assert(keyW == (UWord)sem);
2608 tl_assert(sz >= 0);
2612 tl_assert(so);
2642 tl_assert(keyW == (UWord)sem);
2643 tl_assert(xa);
2644 tl_assert(VG_(sizeXA)(xa) == 0); /* preceding loop just emptied it */
2660 tl_assert(thr); /* cannot fail - Thread* must already exist */
2682 tl_assert(hbthr);
2709 tl_assert(thr); /* cannot fail - Thread* must already exist */
2714 tl_assert(hbthr);
2737 tl_assert(thr); /* cannot fail - Thread* must already exist */
2745 tl_assert(hbthr);
2775 tl_assert(bar);
2777 tl_assert(bar->initted == False);
2782 tl_assert(bar);
2797 tl_assert(map_barrier_to_Bar != NULL);
2805 tl_assert(key == (UWord)barrier);
2819 tl_assert(keyW == (UWord)barrier);
2839 tl_assert(thr); /* cannot fail - Thread* must already exist */
2854 tl_assert(bar);
2863 tl_assert(bar->initted);
2874 tl_assert(bar->waiting);
2875 tl_assert(VG_(sizeXA)(bar->waiting) == 0);
2897 tl_assert(thr); /* cannot fail - Thread* must already exist */
2900 tl_assert(bar);
2938 tl_assert(bar->waiting);
2939 tl_assert(VG_(sizeXA)(bar->waiting) == bar->size);
3016 tl_assert(thr); /* cannot fail - Thread* must already exist */
3019 tl_assert(bar);
3029 tl_assert(bar->size > 0);
3030 tl_assert(bar->waiting);
3036 tl_assert(present > 0 && present <= bar->size);
3059 tl_assert(thr); /* cannot fail - Thread* must already exist */
3062 tl_assert(bar);
3086 tl_assert(bar->size > 0);
3087 tl_assert(bar->waiting);
3089 tl_assert(newcount > 0);
3102 tl_assert(present >= 0 && present <= bar->size);
3129 tl_assert(map_usertag_to_SO != NULL);
3137 tl_assert(key == (UWord)usertag);
3151 tl_assert(keyW == usertag);
3152 tl_assert(so);
3178 tl_assert(thr); /* cannot fail - Thread* must already exist */
3181 tl_assert(so);
3203 tl_assert(thr); /* cannot fail - Thread* must already exist */
3206 tl_assert(so);
3300 tl_assert(!laog);
3301 tl_assert(!laog_exposition);
3302 tl_assert(HG_(clo_track_lockorders));
3309 tl_assert(laog);
3310 tl_assert(laog_exposition);
3324 tl_assert(me);
3325 tl_assert(links);
3360 tl_assert(links);
3361 tl_assert(links->inns >= 0 && links->inns < univ_laog_cardinality);
3363 tl_assert(links->outs >= 0 && links->outs < univ_laog_cardinality);
3441 tl_assert(links);
3442 tl_assert(keyW == (Word)src);
3457 tl_assert(links);
3458 tl_assert(keyW == (Word)dst);
3469 tl_assert( (presentF && presentR) || (!presentF && !presentR) );
3484 tl_assert(laog_exposition);
3511 tl_assert(links);
3512 tl_assert(keyW == (Word)src);
3519 tl_assert(links);
3520 tl_assert(keyW == (Word)dst);
3553 tl_assert(links);
3554 tl_assert(keyW == (Word)lk);
3568 tl_assert(links);
3569 tl_assert(keyW == (Word)lk);
3588 tl_assert(me);
3589 tl_assert(links);
3613 tl_assert(0);
3716 tl_assert(found != &key);
3717 tl_assert(found->src_ga == key.src_ga);
3718 tl_assert(found->dst_ga == key.dst_ga);
3719 tl_assert(found->src_ec);
3720 tl_assert(found->dst_ec);
3737 tl_assert(lk->acquired_at);
3741 tl_assert(old->acquired_at);
3819 tl_assert (linked_lk == lk);
3866 tl_assert(md);
3883 tl_assert( ((SSizeT)szB) >= 0 );
3953 tl_assert(md->payload == (Addr)p);
3959 tl_assert(old_md); /* it must be present - we just found it */
3960 tl_assert(old_md == md);
3961 tl_assert(old_md->payload == (Addr)p);
3994 tl_assert(md->payload == payload);
4038 tl_assert(md_tmp);
4039 tl_assert(md_tmp == md);
4118 tl_assert(mm);
4119 tl_assert(addr_is_in_MM_Chunk(mm, data_addr));
4156 tl_assert(isIRAtom(addr));
4157 tl_assert(hWordTy_szB == 4 || hWordTy_szB == 8);
4160 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
4187 tl_assert(szB > 8 && szB <= 512); /* stay sane */
4217 tl_assert(szB > 8 && szB <= 512); /* stay sane */
4227 tl_assert(hName);
4228 tl_assert(hAddr);
4229 tl_assert(argv);
4307 tl_assert(soname);
4364 tl_assert(bbIn->stmts_used > 0);
4365 tl_assert(i < bbIn->stmts_used);
4367 tl_assert(Ist_IMark == st->tag);
4373 tl_assert(st);
4374 tl_assert(isFlatIRStmt(st));
4418 tl_assert(cas->expdHi);
4419 tl_assert(cas->dataHi);
4421 tl_assert(!cas->expdHi);
4422 tl_assert(!cas->dataHi);
4500 tl_assert(d->mAddr != NULL);
4501 tl_assert(d->mSize != 0);
4520 tl_assert(d->mAddr == NULL);
4521 tl_assert(d->mSize == 0);
4529 tl_assert(0);
4557 tl_assert(map_pthread_t_to_Thread != NULL);
4645 tl_assert(my_thr != NULL);
4659 tl_assert(my_thr); /* See justification above in SET_MY_PTHREAD_T */
4682 tl_assert(found);
4846 tl_assert( thr ); /* I must be mapped */
4847 tl_assert( who );
4848 tl_assert( VG_(strlen)(who) <= 50 );
5072 tl_assert(hbt);
5074 tl_assert(thr);
5078 tl_assert(nActual <= nRequest);
5089 tl_assert(hbt);
5091 tl_assert(thr);
5205 tl_assert( sizeof(void*) == sizeof(struct _MallocMeta*) );
5206 tl_assert( sizeof(UWord) == sizeof(Addr) );
