Lines Matching refs:tl_assert
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);
246 tl_assert(!frameBlocks_set);
250 tl_assert(frameBlocks_set);
278 tl_assert(c == -1 || c == 0);
288 tl_assert(r == n);
289 tl_assert(w + nEQ == n);
315 tl_assert(sb0->szB < sb1->szB);
324 tl_assert(StackBlock__cmp(sb0,sb1) == 0);
365 tl_assert(val == 0);
366 tl_assert(key != (UWord)orig);
385 tl_assert(blocks);
422 tl_assert(!globalBlock_set);
426 tl_assert(globalBlock_set);
442 tl_assert(val == 0);
444 tl_assert(res != orig);
451 tl_assert(clone);
506 tl_assert(sitree);
511 tl_assert(valW == 0);
512 tl_assert(res != &key);
534 tl_assert(nDescrs == nBases);
538 tl_assert(sitree);
550 tl_assert(descr->szB > 0);
560 tl_assert(!already_present);
582 tl_assert(nd);
585 tl_assert(b);
586 tl_assert(oldV == 0);
587 tl_assert(nd == (StackTreeNode*)oldK);
595 tl_assert(nd);
599 tl_assert(valW == 0);
634 tl_assert(nd->descr);
647 tl_assert(valW == 0);
674 tl_assert(valW == 0);
675 tl_assert(res != &key);
694 tl_assert(descr->szB > 0);
706 tl_assert(valW == 0);
708 tl_assert(nd);
709 tl_assert(nd != nyu);
710 tl_assert(nd->descr);
711 tl_assert(nyu->descr);
755 /* tl_assert(!already_present); */
770 tl_assert(szB > 0);
780 tl_assert(valW == 0);
781 tl_assert(nd != &key);
782 tl_assert(cmp_nonempty_intervals(a, szB, nd->addr, nd->szB) == 0);
785 tl_assert(b);
786 tl_assert(oldV == 0);
787 tl_assert(oldK == keyW); /* check we deleted the node we just found */
865 tl_assert(0);
872 tl_assert(i1->tag != Inv_Unset);
873 tl_assert(i2->tag != Inv_Unset);
887 tl_assert(0);
890 tl_assert(0);
925 tl_assert(0);
927 tl_assert(szB > 0);
948 tl_assert(nBuf >= 128);
978 tl_assert(0);
1015 tl_assert(qc->nInUse >= 0);
1097 tl_assert(gb->szB > 0);
1139 tl_assert(valW == 0);
1140 tl_assert(nd->szB > 0);
1141 tl_assert(nd->addr + nd->szB <= a
1154 tl_assert(len > 0);
1249 tl_assert(len > 0);
1250 tl_assert(inv);
1253 tl_assert(inv->Inv.Global.nd);
1254 tl_assert(inv->Inv.Global.nd->szB > 0);
1269 tl_assert(0);
1279 tl_assert(len > 0);
1287 tl_assert(frame->outer);
1307 tl_assert(xx == frame->htab_used);
1325 tl_assert(sf->htab);
1338 tl_assert(sf && sf->htab);
1360 tl_assert(j > 0);
1365 tl_assert(ix < new_size);
1366 tl_assert(new_htab[ix].insn_addr == 0);
1368 tl_assert(new_htab[ix].insn_addr != 0);
1383 tl_assert(j == sf->htab_used);
1399 tl_assert(sf);
1400 tl_assert(sf->htab);
1407 tl_assert(2 * sf->htab_used <= sf->htab_size);
1426 tl_assert(i > 0);
1433 tl_assert(sf->htab[ix].insn_addr == 0);
1436 tl_assert(ip != 0); /* CAN'T REPRESENT THIS */
1461 tl_assert(ip != 0);
1493 tl_assert(n > 0);
1514 tl_assert(szB > 0);
1541 tl_assert(cache->elems[i].addr + cache->elems[i].szB != 0);
1675 tl_assert(ndFirst != ndLast);
1680 tl_assert(!is_subinterval_of(ndFirst->addr,
1683 tl_assert(!is_subinterval_of(ndLast->addr,
1693 tl_assert(ndFirst != ndLast);
1698 tl_assert(!is_subinterval_of(ndFirst->addr,
1701 tl_assert(!is_subinterval_of(ndLast->addr,
1716 tl_assert(sMin <= ea && ea+szB-1 <= sMax);
1717 tl_assert(gMin <= ea && ea+szB-1 <= gMax);
1722 tl_assert(uMin <= uMax);
1723 tl_assert(uMin <= ea && ea+szB-1 <= uMax);
1735 tl_assert(0);
1748 tl_assert(toadd_szB > 0);
1778 tl_assert(is_sane_TId(tid));
1780 tl_assert(frame);
1783 tl_assert(ip_frameBlocks);
1785 tl_assert(iinstance);
1786 tl_assert(iinstance->blocks == ip_frameBlocks);
1789 tl_assert(szB > 0);
1801 tl_assert(inv->tag != Inv_Unset);
1809 tl_assert(new_inv.tag != Inv_Unset);
1816 tl_assert(inv->tag != Inv_Unset);
1853 tl_assert(is_sane_TId(tid));
1856 tl_assert(caller);
1859 tl_assert(caller->outer->inner == caller);
1860 tl_assert(caller->outer->depth >= 0);
1861 tl_assert(1 + caller->outer->depth == caller->depth);
1863 tl_assert(caller->depth == 0);
1870 tl_assert( VG_(sizeXA)(descrs_at_call_insn) > 0 );
1909 tl_assert(callee->inner == NULL);
1968 tl_assert(is_sane_TId(tid));
1970 tl_assert(innermost);
1977 tl_assert(innermost->inner->outer == innermost);
1978 tl_assert(innermost->outer->inner == innermost);
1979 tl_assert(innermost->blocks_added_by_call == NULL);
1982 tl_assert(innermost->htab);
2022 tl_assert(innermost);
2091 tl_assert(hWordTy_szB == layout->sizeof_SP);
2109 tl_assert(hWordTy_szB == layout->sizeof_SP);
2129 tl_assert(isIRAtom(addr));
2130 tl_assert(hWordTy_szB == 4 || hWordTy_szB == 8);
2133 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
2148 tl_assert(frameBlocks);
2182 tl_assert(env);
2208 tl_assert(st);
2209 tl_assert(isFlatIRStmt(st));
2220 tl_assert(st->Ist.Exit.jk != Ijk_Call);
2231 tl_assert(env->curr_IP_known);
2248 tl_assert(env->curr_IP_known);
2270 tl_assert(env->curr_IP_known);
2272 tl_assert(d->mAddr != NULL);
2273 tl_assert(d->mSize != 0);
2290 tl_assert(d->mAddr == NULL);
2291 tl_assert(d->mSize == 0);
2305 tl_assert(cas->addr != NULL);
2306 tl_assert(cas->dataLo != NULL);
2324 tl_assert(0);
2353 tl_assert(env->curr_IP_known);
2355 tl_assert(frameBlocks);
2416 tl_assert(is_sane_TId(child));
2420 tl_assert(is_sane_TId(parent));
2421 tl_assert(parent != child);
2422 tl_assert(shadowStacks[parent] != NULL);
2423 tl_assert(siTrees[parent] != NULL);
2430 tl_assert(siTrees[child] == NULL);
2435 tl_assert(siTrees[child] != NULL);
2442 tl_assert(frame->depth == 0);
2445 if (frame2) tl_assert(1 + frame->depth == frame2->depth);
2452 tl_assert(shadowStacks[child] == NULL);
2453 tl_assert(siTrees[child] == NULL);
2470 tl_assert(is_sane_TId(tid));
2472 tl_assert(sf != NULL);
2473 tl_assert(sf->outer == NULL);
2474 tl_assert(sf->inner == NULL);
2475 tl_assert(sf->creation_sp == ~0UL);
