Searched refs:STATE_LIST_MARK (Results 1 – 1 of 1) sorted by relevance
1439 #define STATE_LIST_MARK ((struct verifier_state_list *) -1L) macro1465 env->explored_states[w] = STATE_LIST_MARK; in push_insn()1544 env->explored_states[t + 1] = STATE_LIST_MARK; in check_cfg()1680 while (sl != STATE_LIST_MARK) { in is_state_visited()2187 while (sl != STATE_LIST_MARK) { in free_states()