Lines Matching refs:tl_assert
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);
249 tl_assert(frameBlocks_set);
277 tl_assert(c == -1 || c == 0);
287 tl_assert(r == n);
288 tl_assert(w + nEQ == n);
314 tl_assert(sb0->szB < sb1->szB);
323 tl_assert(StackBlock__cmp(sb0,sb1) == 0);
364 tl_assert(val == 0);
365 tl_assert(key != (UWord)orig);
384 tl_assert(blocks);
421 tl_assert(!globalBlock_set);
425 tl_assert(globalBlock_set);
441 tl_assert(val == 0);
443 tl_assert(res != orig);
450 tl_assert(clone);
505 tl_assert(sitree);
510 tl_assert(valW == 0);
511 tl_assert(res != &key);
533 tl_assert(nDescrs == nBases);
537 tl_assert(sitree);
549 tl_assert(descr->szB > 0);
559 tl_assert(!already_present);
581 tl_assert(nd);
584 tl_assert(b);
585 tl_assert(oldV == 0);
586 tl_assert(nd == (StackTreeNode*)oldK);
594 tl_assert(nd);
598 tl_assert(valW == 0);
633 tl_assert(nd->descr);
646 tl_assert(valW == 0);
673 tl_assert(valW == 0);
674 tl_assert(res != &key);
693 tl_assert(descr->szB > 0);
705 tl_assert(valW == 0);
707 tl_assert(nd);
708 tl_assert(nd != nyu);
709 tl_assert(nd->descr);
710 tl_assert(nyu->descr);
754 /* tl_assert(!already_present); */
769 tl_assert(szB > 0);
779 tl_assert(valW == 0);
780 tl_assert(nd != &key);
781 tl_assert(cmp_nonempty_intervals(a, szB, nd->addr, nd->szB) == 0);
784 tl_assert(b);
785 tl_assert(oldV == 0);
786 tl_assert(oldK == keyW); /* check we deleted the node we just found */
864 tl_assert(0);
886 tl_assert(0);
889 tl_assert(0);
924 tl_assert(0);
926 tl_assert(szB > 0);
947 tl_assert(nBuf >= 128);
977 tl_assert(0);
1014 tl_assert(qc->nInUse >= 0);
1103 tl_assert(gb->szB > 0);
1145 tl_assert(valW == 0);
1146 tl_assert(nd->szB > 0);
1147 tl_assert(nd->addr + nd->szB <= a
1160 tl_assert(len > 0);
1255 tl_assert(len > 0);
1256 tl_assert(inv);
1259 tl_assert(inv->Inv.Global.nd);
1260 tl_assert(inv->Inv.Global.nd->szB > 0);
1277 tl_assert(0);
1287 tl_assert(len > 0);
1295 tl_assert(frame->outer);
1315 tl_assert(xx == frame->htab_used);
1333 tl_assert(sf->htab);
1346 tl_assert(sf && sf->htab);
1368 tl_assert(j > 0);
1373 tl_assert(ix < new_size);
1374 tl_assert(new_htab[ix].insn_addr == 0);
1376 tl_assert(new_htab[ix].insn_addr != 0);
1391 tl_assert(j == sf->htab_used);
1407 tl_assert(sf);
1408 tl_assert(sf->htab);
1415 tl_assert(2 * sf->htab_used <= sf->htab_size);
1434 tl_assert(i > 0);
1441 tl_assert(sf->htab[ix].insn_addr == 0);
1444 tl_assert(ip != 0); /* CAN'T REPRESENT THIS */
1469 tl_assert(ip != 0);
1501 tl_assert(n > 0);
1522 tl_assert(szB > 0);
1549 tl_assert(cache->elems[i].addr + cache->elems[i].szB != 0);
1683 tl_assert(ndFirst != ndLast);
1688 tl_assert(!is_subinterval_of(ndFirst->addr,
1691 tl_assert(!is_subinterval_of(ndLast->addr,
1701 tl_assert(ndFirst != ndLast);
1706 tl_assert(!is_subinterval_of(ndFirst->addr,
1709 tl_assert(!is_subinterval_of(ndLast->addr,
1724 tl_assert(sMin <= ea && ea+szB-1 <= sMax);
1725 tl_assert(gMin <= ea && ea+szB-1 <= gMax);
1730 tl_assert(uMin <= uMax);
1731 tl_assert(uMin <= ea && ea+szB-1 <= uMax);
1743 tl_assert(0);
1756 tl_assert(toadd_szB > 0);
1786 tl_assert(is_sane_TId(tid));
1788 tl_assert(frame);
1791 tl_assert(ip_frameBlocks);
1793 tl_assert(iinstance);
1794 tl_assert(iinstance->blocks == ip_frameBlocks);
1797 tl_assert(szB > 0);
1809 tl_assert(inv->tag != Inv_Unset);
1817 tl_assert(new_inv.tag != Inv_Unset);
1821 tl_assert(inv->tag != Inv_Unset);
1861 tl_assert(is_sane_TId(tid));
1864 tl_assert(caller);
1867 tl_assert(caller->outer->inner == caller);
1868 tl_assert(caller->outer->depth >= 0);
1869 tl_assert(1 + caller->outer->depth == caller->depth);
1871 tl_assert(caller->depth == 0);
1878 tl_assert( VG_(sizeXA)(descrs_at_call_insn) > 0 );
1917 tl_assert(callee->inner == NULL);
1976 tl_assert(is_sane_TId(tid));
1978 tl_assert(innermost);
1985 tl_assert(innermost->inner->outer == innermost);
1986 tl_assert(innermost->outer->inner == innermost);
1987 tl_assert(innermost->blocks_added_by_call == NULL);
1990 tl_assert(innermost->htab);
2030 tl_assert(innermost);
2099 tl_assert(hWordTy_szB == layout->sizeof_SP);
2117 tl_assert(hWordTy_szB == layout->sizeof_SP);
2137 tl_assert(isIRAtom(addr));
2138 tl_assert(hWordTy_szB == 4 || hWordTy_szB == 8);
2141 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);
2156 tl_assert(frameBlocks);
2190 tl_assert(env);
2216 tl_assert(st);
2217 tl_assert(isFlatIRStmt(st));
2228 tl_assert(st->Ist.Exit.jk != Ijk_Call);
2239 tl_assert(env->curr_IP_known);
2256 tl_assert(env->curr_IP_known);
2278 tl_assert(env->curr_IP_known);
2280 tl_assert(d->mAddr != NULL);
2281 tl_assert(d->mSize != 0);
2298 tl_assert(d->mAddr == NULL);
2299 tl_assert(d->mSize == 0);
2313 tl_assert(cas->addr != NULL);
2314 tl_assert(cas->dataLo != NULL);
2332 tl_assert(0);
2361 tl_assert(env->curr_IP_known);
2363 tl_assert(frameBlocks);
2424 tl_assert(is_sane_TId(child));
2428 tl_assert(is_sane_TId(parent));
2429 tl_assert(parent != child);
2430 tl_assert(shadowStacks[parent] != NULL);
2431 tl_assert(siTrees[parent] != NULL);
2438 tl_assert(siTrees[child] == NULL);
2443 tl_assert(siTrees[child] != NULL);
2450 tl_assert(frame->depth == 0);
2453 if (frame2) tl_assert(1 + frame->depth == frame2->depth);
2460 tl_assert(shadowStacks[child] == NULL);
2461 tl_assert(siTrees[child] == NULL);
2478 tl_assert(is_sane_TId(tid));
2480 tl_assert(sf != NULL);
2481 tl_assert(sf->outer == NULL);
2482 tl_assert(sf->inner == NULL);
2483 tl_assert(sf->creation_sp == ~0UL);
