Lines Matching refs:CLG_ASSERT
140 CLG_ASSERT(t != 0); in CLG_()
156 CLG_ASSERT(tid < VG_N_THREADS); in CLG_()
232 CLG_ASSERT(es != 0); in CLG_()
233 CLG_ASSERT(CLG_(current_state).sig >0); in CLG_()
249 CLG_ASSERT(sigNum == CLG_(current_state).sig); in CLG_()
255 CLG_ASSERT(es != 0); in CLG_()
275 CLG_ASSERT(*(CLG_(current_fn_stack).top) == 0); in CLG_()
282 CLG_ASSERT(CLG_(current_state).cost == es->cost); in CLG_()
379 CLG_ASSERT((sp >= 0) && (sp < MAX_SIGHANDLERS)); in top_exec_state()
381 CLG_ASSERT(es != 0); in top_exec_state()
397 CLG_ASSERT((sigNum > 0) && (sigNum <= _VKI_NSIG)); in push_exec_state()
398 CLG_ASSERT((sp > 0) && (sp < MAX_SIGHANDLERS)); in push_exec_state()
421 CLG_ASSERT(es->cost == CLG_(current_state).cost); in exec_state_save()
431 CLG_ASSERT(CLG_(current_state).sig == es->sig); in exec_state_save()