Lines Matching full: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);
2147 tl_assert(keyW == (UWord)cond);
2148 tl_assert(cvi);
2149 tl_assert(cvi->so);
2173 tl_assert(thr); /* cannot fail - Thread* must already exist */
2176 tl_assert(cvi);
2177 tl_assert(cvi->so);
2251 tl_assert(thr); /* cannot fail - Thread* must already exist */
2264 tl_assert( HG_(is_sane_LockN)(lk) );
2287 tl_assert(cvi);
2288 tl_assert(cvi->so);
2319 tl_assert(thr); /* cannot fail - Thread* must already exist */
2324 tl_assert(cvi);
2325 tl_assert(cvi->so);
2326 tl_assert(cvi->nWaiters > 0);
2385 tl_assert( HG_(is_sane_Thread)(thr) );
2395 tl_assert( HG_(is_sane_LockN)(lk) );
2396 tl_assert( lk->guestaddr == (Addr)rwl );
2408 tl_assert( !lk->heldBy );
2409 tl_assert( HG_(is_sane_LockN)(lk) );
2434 tl_assert(isW == 0 || isW == 1); /* assured us by wrapper */
2435 tl_assert(isTryLock == 0 || isTryLock == 1); /* assured us by wrapper */
2437 tl_assert(thr); /* cannot fail - Thread* must already exist */
2458 tl_assert(isW == 0 || isW == 1); /* assured us by wrapper */
2460 tl_assert(thr); /* cannot fail - Thread* must already exist */
2479 tl_assert(thr); /* cannot fail - Thread* must already exist */
2492 tl_assert(thr); /* cannot fail - Thread* must already exist */
2542 tl_assert(map_sem_to_SO_stack != NULL);
2549 tl_assert(so);
2553 tl_assert(keyW == (UWord)sem);
2554 tl_assert(xa);
2572 tl_assert(keyW == (UWord)sem);
2574 tl_assert(sz >= 0);
2578 tl_assert(so);
2608 tl_assert(keyW == (UWord)sem);
2609 tl_assert(xa);
2610 tl_assert(VG_(sizeXA)(xa) == 0); /* preceding loop just emptied it */
2626 tl_assert(thr); /* cannot fail - Thread* must already exist */
2648 tl_assert(hbthr);
2675 tl_assert(thr); /* cannot fail - Thread* must already exist */
2680 tl_assert(hbthr);
2703 tl_assert(thr); /* cannot fail - Thread* must already exist */
2711 tl_assert(hbthr);
2741 tl_assert(bar);
2743 tl_assert(bar->initted == False);
2748 tl_assert(bar);
2763 tl_assert(map_barrier_to_Bar != NULL);
2771 tl_assert(key == (UWord)barrier);
2785 tl_assert(keyW == (UWord)barrier);
2805 tl_assert(thr); /* cannot fail - Thread* must already exist */
2820 tl_assert(bar);
2829 tl_assert(bar->initted);
2840 tl_assert(bar->waiting);
2841 tl_assert(VG_(sizeXA)(bar->waiting) == 0);
2863 tl_assert(thr); /* cannot fail - Thread* must already exist */
2866 tl_assert(bar);
2904 tl_assert(bar->waiting);
2905 tl_assert(VG_(sizeXA)(bar->waiting) == bar->size);
2982 tl_assert(thr); /* cannot fail - Thread* must already exist */
2985 tl_assert(bar);
2995 tl_assert(bar->size > 0);
2996 tl_assert(bar->waiting);
3002 tl_assert(present > 0 && present <= bar->size);
3025 tl_assert(thr); /* cannot fail - Thread* must already exist */
3028 tl_assert(bar);
3052 tl_assert(bar->size > 0);
3053 tl_assert(bar->waiting);
3055 tl_assert(newcount > 0);
3068 tl_assert(present >= 0 && present <= bar->size);
3095 tl_assert(map_usertag_to_SO != NULL);
3103 tl_assert(key == (UWord)usertag);
3117 tl_assert(keyW == usertag);
3118 tl_assert(so);
3144 tl_assert(thr); /* cannot fail - Thread* must already exist */
3147 tl_assert(so);
3169 tl_assert(thr); /* cannot fail - Thread* must already exist */
3172 tl_assert(so);
3266 tl_assert(!laog);
3267 tl_assert(!laog_exposition);
3268 tl_assert(HG_(clo_track_lockorders));
3275 tl_assert(laog);
3276 tl_assert(laog_exposition);
3290 tl_assert(me);
3291 tl_assert(links);
3326 tl_assert(links);
3327 tl_assert(links->inns >= 0 && links->inns < univ_laog_cardinality);
3329 tl_assert(links->outs >= 0 && links->outs < univ_laog_cardinality);
3407 tl_assert(links);
3408 tl_assert(keyW == (Word)src);
3423 tl_assert(links);
3424 tl_assert(keyW == (Word)dst);
3435 tl_assert( (presentF && presentR) || (!presentF && !presentR) );
3450 tl_assert(laog_exposition);
3477 tl_assert(links);
3478 tl_assert(keyW == (Word)src);
3485 tl_assert(links);
3486 tl_assert(keyW == (Word)dst);
3519 tl_assert(links);
3520 tl_assert(keyW == (Word)lk);
3534 tl_assert(links);
3535 tl_assert(keyW == (Word)lk);
3554 tl_assert(me);
3555 tl_assert(links);
3579 tl_assert(0);
3682 tl_assert(found != &key);
3683 tl_assert(found->src_ga == key.src_ga);
3684 tl_assert(found->dst_ga == key.dst_ga);
3685 tl_assert(found->src_ec);
3686 tl_assert(found->dst_ec);
3703 tl_assert(lk->acquired_at);
3707 tl_assert(old->acquired_at);
3785 tl_assert (linked_lk == lk);
3832 tl_assert(md);
3849 tl_assert( ((SSizeT)szB) >= 0 );
3919 tl_assert(md->payload == (Addr)p);
3925 tl_assert(old_md); /* it must be present - we just found it */
3926 tl_assert(old_md == md);
3927 tl_assert(old_md->payload == (Addr)p);
3960 tl_assert(md->payload == payload);
4004 tl_assert(md_tmp);
4005 tl_assert(md_tmp == md);
4084 tl_assert(mm);
4085 tl_assert(addr_is_in_MM_Chunk(mm, data_addr));
4122 tl_assert(isIRAtom(addr));
4123 tl_assert(hWordTy_szB == 4 || hWordTy_szB == 8);
4126 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
4153 tl_assert(szB > 8 && szB <= 512); /* stay sane */
4183 tl_assert(szB > 8 && szB <= 512); /* stay sane */
4193 tl_assert(hName);
4194 tl_assert(hAddr);
4195 tl_assert(argv);
4273 tl_assert(soname);
4329 tl_assert(bbIn->stmts_used > 0);
4330 tl_assert(i < bbIn->stmts_used);
4332 tl_assert(Ist_IMark == st->tag);
4338 tl_assert(st);
4339 tl_assert(isFlatIRStmt(st));
4383 tl_assert(cas->expdHi);
4384 tl_assert(cas->dataHi);
4386 tl_assert(!cas->expdHi);
4387 tl_assert(!cas->dataHi);
4465 tl_assert(d->mAddr != NULL);
4466 tl_assert(d->mSize != 0);
4485 tl_assert(d->mAddr == NULL);
4486 tl_assert(d->mSize == 0);
4494 tl_assert(0);
4522 tl_assert(map_pthread_t_to_Thread != NULL);
4610 tl_assert(my_thr != NULL);
4624 tl_assert(my_thr); /* See justification above in SET_MY_PTHREAD_T */
4647 tl_assert(found);
4811 tl_assert( thr ); /* I must be mapped */
4812 tl_assert( who );
4813 tl_assert( VG_(strlen)(who) <= 50 );
5037 tl_assert(hbt);
5039 tl_assert(thr);
5043 tl_assert(nActual <= nRequest);
5054 tl_assert(hbt);
5056 tl_assert(thr);
5170 tl_assert( sizeof(void*) == sizeof(struct _MallocMeta*) );
5171 tl_assert( sizeof(UWord) == sizeof(Addr) );
