Lines Matching refs:CLG_ASSERT
137 CLG_ASSERT(t != 0); in CLG_()
153 CLG_ASSERT(tid < VG_N_THREADS); in CLG_()
231 CLG_ASSERT(es != 0); in CLG_()
232 CLG_ASSERT(CLG_(current_state).sig >0); in CLG_()
248 CLG_ASSERT(sigNum == CLG_(current_state).sig); in CLG_()
254 CLG_ASSERT(es != 0); in CLG_()
274 CLG_ASSERT(*(CLG_(current_fn_stack).top) == 0); in CLG_()
281 CLG_ASSERT(CLG_(current_state).cost == es->cost); in CLG_()
378 CLG_ASSERT((sp >= 0) && (sp < MAX_SIGHANDLERS)); in top_exec_state()
380 CLG_ASSERT(es != 0); in top_exec_state()
396 CLG_ASSERT((sigNum > 0) && (sigNum <= _VKI_NSIG)); in push_exec_state()
397 CLG_ASSERT((sp > 0) && (sp < MAX_SIGHANDLERS)); in push_exec_state()
420 CLG_ASSERT(es->cost == CLG_(current_state).cost); in exec_state_save()
430 CLG_ASSERT(CLG_(current_state).sig == es->sig); in exec_state_save()