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