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