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