Lines Matching refs:CLG_ASSERT
47 CLG_ASSERT(bbccs != 0); in CLG_()
59 CLG_ASSERT(dst != 0); in CLG_()
73 CLG_ASSERT(h != 0); in CLG_()
88 CLG_ASSERT(bbcc->cxt != 0); in CLG_()
121 CLG_ASSERT(bbcc->rec_array != 0); in CLG_()
147 CLG_ASSERT(bb != 0); in bbcc_hash_idx()
148 CLG_ASSERT(cxt != 0); in bbcc_hash_idx()
321 CLG_ASSERT(bbcc->cxt != 0); in insert_bbcc_into_hash()
387 CLG_ASSERT((orig->tid != CLG_(current_tid)) || in clone_bbcc()
399 CLG_ASSERT(orig->tid == CLG_(current_tid)); in clone_bbcc()
401 CLG_ASSERT(orig->cxt == cxt); in clone_bbcc()
402 CLG_ASSERT(orig->rec_array); in clone_bbcc()
403 CLG_ASSERT(cxt->fn[0]->separate_recursions > rec_index); in clone_bbcc()
404 CLG_ASSERT(orig->rec_array[rec_index] ==0); in clone_bbcc()
523 CLG_ASSERT(source_bbcc->cxt == 0); in handleUnderflow()
527 CLG_ASSERT(CLG_(current_state).bbcc); in handleUnderflow()
591 CLG_ASSERT(VG_(get_running_tid)() == CLG_(current_tid)); in CLG_()
600 CLG_ASSERT(passed <= last_bb->cjmp_count); in CLG_()
719 CLG_ASSERT(CLG_(current_state).nonskipped != 0); in CLG_()
761 CLG_ASSERT(popcount_on_return >0); in CLG_()
786 CLG_ASSERT(CLG_(current_fn_stack).top > CLG_(current_fn_stack).bottom); in CLG_()
791 CLG_ASSERT(bbcc->rec_array == 0); in CLG_()
836 CLG_ASSERT(CLG_(current_state).bbcc != 0); in CLG_()
858 CLG_ASSERT(bbcc->rec_array[bbcc->rec_index] == bbcc); in CLG_()
878 CLG_ASSERT(jcc != 0); in CLG_()