Lines Matching refs:tl_assert
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 */
276 tl_assert(!lk->heldW);
285 tl_assert(lk->heldW);
287 tl_assert(VG_(sizeUniqueBag(lk->heldBy)) == 1);
289 tl_assert(VG_(elemBag)(lk->heldBy, (UWord)thr)
294 tl_assert(lk->heldBy == NULL && !lk->heldW); /* must be unheld */
297 tl_assert(0);
299 tl_assert(HG_(is_sane_LockN)(lk));
304 tl_assert(HG_(is_sane_LockN)(lk));
305 tl_assert(HG_(is_sane_Thread)(thr));
307 tl_assert(lk->kind == LK_rdwr);
309 tl_assert(lk->heldBy == NULL
319 tl_assert(lk->heldBy == NULL);
324 tl_assert(lk->heldBy != NULL);
335 tl_assert(!lk->heldW);
336 tl_assert(HG_(is_sane_LockN)(lk));
346 tl_assert(HG_(is_sane_LockN)(lk));
347 tl_assert(HG_(is_sane_Thread)(thr));
349 tl_assert(lk->heldBy);
354 tl_assert(b);
356 tl_assert(lk->acquired_at);
363 tl_assert(HG_(is_sane_LockN)(lk));
370 tl_assert(!lk->heldW);
376 tl_assert(HG_(is_sane_Thread)(thr));
377 tl_assert(HG_(elemWS)( univ_lsets,
383 tl_assert(HG_(elemWS)( univ_lsets,
408 tl_assert(n >= 0 && n < 128);
414 tl_assert(i < 128+1);
471 default: tl_assert(0);
605 tl_assert(admin_threads == NULL);
606 tl_assert(admin_locks == NULL);
608 tl_assert(map_threads == NULL);
611 tl_assert(sizeof(Addr) == sizeof(UWord));
612 tl_assert(map_locks == NULL);
616 tl_assert(univ_lsets == NULL);
619 tl_assert(univ_lsets != NULL);
624 tl_assert(wsid == 0);
626 tl_assert(univ_laog == NULL);
630 tl_assert(univ_laog != NULL);
640 tl_assert( libhb_get_Thr_hgthread(hbthr_root) == NULL );
644 tl_assert(HG_(is_sane_ThreadId)(thr->coretid));
645 tl_assert(thr->coretid != VG_INVALID_THREADID);
649 tl_assert(VG_INVALID_THREADID == 0);
663 tl_assert( HG_(is_sane_ThreadId)(coretid) );
672 tl_assert( HG_(is_sane_ThreadId)(coretid) );
674 tl_assert(thr);
683 tl_assert(HG_(is_sane_Thread)(thr));
685 tl_assert(VG_INVALID_THREADID >= 0 && VG_INVALID_THREADID < VG_N_THREADS);
686 tl_assert(map_threads[VG_INVALID_THREADID] == NULL);
688 tl_assert(HG_(is_sane_ThreadId)(tid));
697 tl_assert(tid != VG_INVALID_THREADID);
698 tl_assert(map_threads[tid]);
699 tl_assert(map_threads[tid]->coretid == tid);
706 tl_assert(coretid != 0);
707 tl_assert( HG_(is_sane_ThreadId)(coretid) );
709 tl_assert(thr);
714 tl_assert(thr->synchr_nesting >= 0);
724 tl_assert(thr->synchr_nesting >= 0);
728 tl_assert(thr->pthread_create_nesting_level >= 0);
733 tl_assert(thr->pthread_create_nesting_level > 0);
754 tl_assert(HG_(is_sane_ThreadId)(tid));
760 tl_assert(HG_(is_sane_LockN)(lock));
762 tl_assert(oldlock == NULL);
765 tl_assert(oldlock != NULL);
766 tl_assert(HG_(is_sane_LockN)(oldlock));
767 tl_assert(oldlock->guestaddr == ga);
777 tl_assert(found ? lk != NULL : lk == NULL);
790 tl_assert(lk != NULL);
791 tl_assert(ga2 == ga);
913 tl_assert(0);
955 tl_assert(count >= 1);
956 tl_assert(HG_(is_sane_Thread)(thr));
979 tl_assert(0);
1015 tl_assert(hbthr);
1022 tl_assert
1028 tl_assert(hbthr);
1078 //zz tl_assert(new_segP);
1079 //zz tl_assert(new_segidP);
1080 //zz tl_assert(HG_(is_sane_Thread)(thr));
1082 //zz tl_assert(cur_seg);
1083 //zz tl_assert(cur_seg->thr == thr); /* all sane segs should point back
1111 tl_assert(HG_(is_sane_Thread)(thr));
1116 tl_assert( HG_(is_sane_LockN)(lk) );
1119 tl_assert(thr->hbthr);
1120 tl_assert(lk->hbso);
1124 tl_assert(!lk->heldW);
1133 tl_assert(lk->heldBy);
1143 tl_assert(VG_(sizeUniqueBag)(lk->heldBy) == 1); /* from precondition */
1185 tl_assert(HG_(is_sane_LockN)(lk));
1208 tl_assert(HG_(is_sane_Thread)(thr));
1212 tl_assert(lkk == LK_rdwr);
1215 tl_assert( HG_(is_sane_LockN)(lk) );
1218 tl_assert(thr->hbthr);
1219 tl_assert(lk->hbso);
1223 tl_assert(!lk->heldW);
1232 tl_assert(lk->heldBy);
1260 tl_assert(HG_(is_sane_LockN)(lk));
1283 tl_assert(HG_(is_sane_Thread)(thr));
1294 tl_assert(lock->guestaddr == lock_ga);
1295 tl_assert(HG_(is_sane_LockN)(lock));
1309 tl_assert(!lock->heldW);
1311 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1312 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1317 tl_assert(lock->heldBy);
1323 tl_assert(n >= 0);
1330 tl_assert(HG_(is_sane_Thread)(realOwner));
1331 tl_assert(realOwner != thr);
1332 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1333 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1339 tl_assert(n >= 1);
1344 tl_assert(n >= 0);
1347 tl_assert(lock->heldBy);
1348 tl_assert(n == VG_(elemBag)( lock->heldBy, (UWord)thr ));
1351 tl_assert(lock->kind == LK_mbRec
1353 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetA, (UWord)lock ));
1355 tl_assert(HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1357 tl_assert(!HG_(elemWS)( univ_lsets, thr->locksetW, (UWord)lock ));
1370 tl_assert(lock->heldW == False);
1379 tl_assert(!lock->heldBy);
1380 tl_assert(lock->heldW == False);
1383 // tl_assert(0 == VG_(elemBag)( lock->heldBy, (UWord)thr ));
1391 tl_assert(thr->hbthr);
1392 tl_assert(lock->hbso);
1400 tl_assert(HG_(is_sane_LockN)(lock));
1429 tl_assert(current_Thread == NULL);
1431 tl_assert(current_Thread != NULL);
1439 tl_assert(current_Thread != NULL);
1593 tl_assert(HG_(is_sane_ThreadId)(parent));
1594 tl_assert(HG_(is_sane_ThreadId)(child));
1595 tl_assert(parent != child);
1600 tl_assert(thr_p != NULL);
1601 tl_assert(thr_c == NULL);
1604 tl_assert(hbthr_p != NULL);
1605 tl_assert( libhb_get_Thr_hgthread(hbthr_p) == thr_p );
1612 tl_assert( libhb_get_Thr_hgthread(hbthr_c) == NULL );
1617 tl_assert(thr_c->coretid == VG_INVALID_THREADID);
1642 tl_assert(thr_c->synchr_nesting == 0);
1675 tl_assert(HG_(is_sane_ThreadId)(quit_tid));
1677 tl_assert(thr_q != NULL);
1681 tl_assert(nHeld >= 0);
1695 tl_assert(thr_q->hbthr);
1697 tl_assert(thr_q->coretid == quit_tid);
1716 tl_assert(!thr);
1726 tl_assert(thr->hbthr);
1728 tl_assert(thr->coretid == i);
1744 tl_assert(so);
1777 tl_assert(HG_(is_sane_ThreadId)(stay_tid));
1781 tl_assert(thr_s != NULL);
1782 tl_assert(thr_q != NULL);
1783 tl_assert(thr_s != thr_q);
1787 tl_assert(hbthr_s != hbthr_q);
1788 tl_assert( libhb_get_Thr_hgthread(hbthr_s) == thr_s );
1789 tl_assert( libhb_get_Thr_hgthread(hbthr_q) == thr_q );
1802 tl_assert( map_threads_maybe_reverse_lookup_SLOW(thr_q)
1874 tl_assert(thr);
2008 tl_assert(mbRec == 0 || mbRec == 1);
2028 tl_assert( HG_(is_sane_Thread)(thr) );
2046 tl_assert( HG_(is_sane_LockN)(lk) );
2047 tl_assert( lk->guestaddr == (Addr)mutex );
2059 tl_assert( !lk->heldBy );
2060 tl_assert( HG_(is_sane_LockN)(lk) );
2084 tl_assert(isTryLock == 0 || isTryLock == 1);
2086 tl_assert(thr); /* cannot fail - Thread* must already exist */
2125 tl_assert(thr); /* cannot fail - Thread* must already exist */
2143 tl_assert(thr); /* cannot fail - Thread* must already exist */
2156 tl_assert(thr); /* cannot fail - Thread* must already exist */
2185 tl_assert( HG_(is_sane_Thread)(thr) );
2278 tl_assert(key == (UWord)cond);
2294 tl_assert(key == (UWord)cond);
2307 tl_assert(thr); /* cannot fail - Thread* must already exist */
2312 tl_assert(keyW == (UWord)cond);
2313 tl_assert(cvi);
2314 tl_assert(cvi->so);
2324 tl_assert(0); // cond var found above, and not here ???
2357 tl_assert(thr); /* cannot fail - Thread* must already exist */
2360 tl_assert(cvi);
2361 tl_assert(cvi->so);
2435 tl_assert(thr); /* cannot fail - Thread* must already exist */
2448 tl_assert( HG_(is_sane_LockN)(lk) );
2471 tl_assert(cvi);
2472 tl_assert(cvi->so);
2504 tl_assert(thr); /* cannot fail - Thread* must already exist */
2519 tl_assert(cvi);
2520 tl_assert(cvi->so);
2521 tl_assert(cvi->nWaiters > 0);
2549 tl_assert (cvi);
2550 tl_assert (cvi->so);
2596 tl_assert( HG_(is_sane_Thread)(thr) );
2606 tl_assert( HG_(is_sane_LockN)(lk) );
2607 tl_assert( lk->guestaddr == (Addr)rwl );
2619 tl_assert( !lk->heldBy );
2620 tl_assert( HG_(is_sane_LockN)(lk) );
2645 tl_assert(isW == 0 || isW == 1); /* assured us by wrapper */
2646 tl_assert(isTryLock == 0 || isTryLock == 1); /* assured us by wrapper */
2648 tl_assert(thr); /* cannot fail - Thread* must already exist */
2669 tl_assert(isW == 0 || isW == 1); /* assured us by wrapper */
2671 tl_assert(thr); /* cannot fail - Thread* must already exist */
2690 tl_assert(thr); /* cannot fail - Thread* must already exist */
2703 tl_assert(thr); /* cannot fail - Thread* must already exist */
2759 tl_assert(so);
2763 tl_assert(keyW == (UWord)sem);
2764 tl_assert(xa);
2782 tl_assert(keyW == (UWord)sem);
2784 tl_assert(sz >= 0);
2788 tl_assert(so);
2818 tl_assert(keyW == (UWord)sem);
2819 tl_assert(xa);
2820 tl_assert
2836 tl_assert(thr); /* cannot fail - Thread* must already exist */
2858 tl_assert(hbthr);
2885 tl_assert(thr); /* cannot fail - Thread* must already exist */
2890 tl_assert(hbthr);
2913 tl_assert(thr); /* cannot fail - Thread* must already exist */
2921 tl_assert(hbthr);
2952 tl_assert(bar->initted == False);
2957 tl_assert(bar);
2979 tl_assert(key == (UWord)barrier);
2993 tl_assert(keyW == (UWord)barrier);
3013 tl_assert(thr); /* cannot fail - Thread* must already exist */
3028 tl_assert(bar);
3037 tl_assert(bar->initted);
3048 tl_assert(VG_(sizeXA)(bar->waiting) == 0);
3070 tl_assert(thr); /* cannot fail - Thread* must already exist */
3073 tl_assert(bar);
3111 tl_assert(bar->waiting);
3112 tl_assert(VG_(sizeXA)(bar->waiting) == bar->size);
3189 tl_assert(thr); /* cannot fail - Thread* must already exist */
3192 tl_assert(bar);
3202 tl_assert(bar->size > 0);
3203 tl_assert(bar->waiting);
3209 tl_assert(present > 0 && present <= bar->size);
3232 tl_assert(thr); /* cannot fail - Thread* must already exist */
3235 tl_assert(bar);
3259 tl_assert(bar->size > 0);
3260 tl_assert(bar->waiting);
3262 tl_assert(newcount > 0);
3275 tl_assert(present >= 0 && present <= bar->size);
3309 tl_assert(key == (UWord)usertag);
3323 tl_assert(keyW == usertag);
3324 tl_assert(so);
3350 tl_assert(thr); /* cannot fail - Thread* must already exist */
3353 tl_assert(so);
3375 tl_assert(thr); /* cannot fail - Thread* must already exist */
3378 tl_assert(so);
3416 tl_assert(thr != NULL);
3436 tl_assert(thr != NULL);
3518 tl_assert(!laog);
3519 tl_assert(!laog_exposition);
3520 tl_assert(HG_(clo_track_lockorders));
3540 tl_assert(me);
3541 tl_assert(links);
3571 tl_assert(links);
3572 tl_assert(links->inns >= 0 && links->inns < univ_laog_cardinality);
3574 tl_assert(links->outs >= 0 && links->outs < univ_laog_cardinality);
3652 tl_assert(links);
3653 tl_assert(keyW == (UWord)src);
3668 tl_assert(links);
3669 tl_assert(keyW == (UWord)dst);
3680 tl_assert( (presentF && presentR) || (!presentF && !presentR) );
3695 tl_assert(laog_exposition);
3722 tl_assert(links);
3723 tl_assert(keyW == (UWord)src);
3730 tl_assert(links);
3731 tl_assert(keyW == (UWord)dst);
3764 tl_assert(links);
3765 tl_assert(keyW == (UWord)lk);
3779 tl_assert(links);
3780 tl_assert(keyW == (UWord)lk);
3799 tl_assert(me);
3800 tl_assert(links);
3824 tl_assert(0);
3927 tl_assert(found != &key);
3928 tl_assert(found->src_ga == key.src_ga);
3929 tl_assert(found->dst_ga == key.dst_ga);
3930 tl_assert(found->src_ec);
3931 tl_assert(found->dst_ec);
3993 tl_assert(lk->acquired_at);
3997 tl_assert(old->acquired_at);
4075 tl_assert (linked_lk == lk);
4142 tl_assert( ((SSizeT)szB) >= 0 );
4212 tl_assert(md->payload == (Addr)p);
4218 tl_assert(old_md); /* it must be present - we just found it */
4219 tl_assert(old_md == md);
4220 tl_assert(old_md->payload == (Addr)p);
4253 tl_assert(md->payload == payload);
4297 tl_assert(md_tmp);
4298 tl_assert(md_tmp == md);
4378 tl_assert(mm);
4379 tl_assert(addr_is_in_MM_Chunk(mm, data_addr));
4402 tl_assert(arg1 && arg2);
4403 tl_assert(isIRAtom(arg1));
4404 tl_assert(isIRAtom(arg2));
4439 tl_assert(isIRAtom(addr));
4440 tl_assert(hWordTy_szB == 4 || hWordTy_szB == 8);
4443 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
4470 tl_assert(szB > 8 && szB <= 512); /* stay sane */
4500 tl_assert(szB > 8 && szB <= 512); /* stay sane */
4510 tl_assert(hName);
4511 tl_assert(hAddr);
4512 tl_assert(argv);
4598 tl_assert(soname);
4661 tl_assert(bbIn->stmts_used > 0);
4662 tl_assert(i < bbIn->stmts_used);
4664 tl_assert(Ist_IMark == st->tag);
4670 tl_assert(st);
4671 tl_assert(isFlatIRStmt(st));
4716 tl_assert(cas->expdHi);
4717 tl_assert(cas->dataHi);
4719 tl_assert(!cas->expdHi);
4720 tl_assert(!cas->dataHi);
4780 tl_assert(type != Ity_INVALID);
4794 tl_assert(type != Ity_INVALID);
4825 tl_assert(d->mAddr != NULL);
4826 tl_assert(d->mSize != 0);
4845 tl_assert(d->mAddr == NULL);
4846 tl_assert(d->mSize == 0);
4854 tl_assert(0);
4983 tl_assert(0);
5001 tl_assert(0);
5105 tl_assert(my_thr != NULL);
5118 tl_assert(my_thr->synchr_nesting == 0);
5128 tl_assert(my_thr); /* See justification above in SET_MY_PTHREAD_T */
5151 tl_assert(found);
5168 tl_assert(dmml.hg_dependent);
5188 tl_assert(stayer);
5206 tl_assert(dmml->hg_dependent->hbthr != stayer->hbthr);
5416 tl_assert( thr ); /* I must be mapped */
5417 tl_assert( who );
5418 tl_assert( VG_(strlen)(who) <= 50 );
5713 tl_assert(hbt);
5715 tl_assert(thr);
5719 tl_assert(nActual <= nRequest);
5730 tl_assert(hbt);
5732 tl_assert(thr);
5860 tl_assert( sizeof(void*) == sizeof(struct _MallocMeta*) );
5861 tl_assert( sizeof(UWord) == sizeof(Addr) );
