• Home
  • History
  • Annotate
  • Raw
  • Download

Lines Matching refs:tl_assert

129    tl_assert(is_known_segment(seg));  in Seg__where()
135 tl_assert(is_known_segment(seg)); in Seg__size()
141 tl_assert(is_known_segment(seg)); in Seg__addr()
178 tl_assert(group_list->nextfree <= N_SEGS_PER_GROUP); in new_Seg()
184 tl_assert(group_list->nextfree < N_SEGS_PER_GROUP); in new_Seg()
200 tl_assert(freesegs_youngest); in get_Seg_for_malloc()
201 tl_assert(freesegs_oldest); in get_Seg_for_malloc()
202 tl_assert(freesegs_youngest != freesegs_oldest); in get_Seg_for_malloc()
213 tl_assert(seg); in set_Seg_freed()
214 tl_assert(!Seg__is_freed(seg)); in set_Seg_freed()
216 tl_assert(freesegs_oldest == NULL); in set_Seg_freed()
217 tl_assert(freesegs_youngest == NULL); in set_Seg_freed()
223 tl_assert(freesegs_youngest); in set_Seg_freed()
224 tl_assert(freesegs_oldest); in set_Seg_freed()
226 tl_assert(freesegs_youngest == freesegs_oldest); in set_Seg_freed()
228 tl_assert(freesegs_youngest != freesegs_oldest); in set_Seg_freed()
230 tl_assert(freesegs_youngest->nextfree == NULL); in set_Seg_freed()
231 tl_assert(seg != freesegs_youngest && seg != freesegs_oldest); in set_Seg_freed()
254 tl_assert(keyW == ga); in find_Seg_by_addr()
266 tl_assert(!b); /* else ga is already bound */ in bind_addr_to_Seg()
275 tl_assert(b); /* else ga was not already bound */ in unbind_addr_from_Seg()
276 tl_assert(keyW == ga); in unbind_addr_from_Seg()
277 tl_assert(valW != 0); in unbind_addr_from_Seg()
289 tl_assert(seg != (Seg*)1); /* since we're using 1 as a special value */ in add_new_segment()
293 tl_assert(!Seg__is_freed(seg)); in add_new_segment()
322 tl_assert(!Seg__is_freed(seg)); in die_and_free_mem_heap()
417 tl_assert(seg->addr == (Addr)p_old); in h_replace_realloc()
583 tl_assert(newIx == (Word)tmp); in newTemp()
626 tl_assert(sizeof(UWord) == sizeof(void*)); in h_instrument()
627 tl_assert(sizeof(Word) == sizeof(void*)); in h_instrument()
628 tl_assert(sizeof(Addr) == sizeof(void*)); in h_instrument()
629 tl_assert(sizeof(ULong) == 8); in h_instrument()
630 tl_assert(sizeof(Long) == 8); in h_instrument()
631 tl_assert(sizeof(Addr) == sizeof(void*)); in h_instrument()
632 tl_assert(sizeof(UInt) == 4); in h_instrument()
633 tl_assert(sizeof(Int) == 4); in h_instrument()
654 tl_assert( VG_(sizeXA)( pce.qmpMap ) == sbIn->tyenv->types_used ); in h_instrument()
668 tl_assert(st); in h_instrument()
669 tl_assert(isFlatIRStmt(st)); in h_instrument()
676 tl_assert(sbIn->stmts_used > 0); in h_instrument()
677 tl_assert(i >= 0); in h_instrument()
678 tl_assert(i < sbIn->stmts_used); in h_instrument()
679 tl_assert(sbIn->stmts[i]->tag == Ist_IMark); in h_instrument()
698 tl_assert( VG_(sizeXA)( pce.qmpMap ) == pce.sb->tyenv->types_used ); in h_instrument()