Searched refs:explored_states (Results 1 – 2 of 2) sorted by relevance
192 struct bpf_verifier_state_list **explored_states; /* search pruning optimization */ member
4180 env->explored_states[w] = STATE_LIST_MARK; in push_insn()4248 env->explored_states[t + 1] = STATE_LIST_MARK; in check_cfg()4250 env->explored_states[t] = STATE_LIST_MARK; in check_cfg()4273 env->explored_states[t + 1] = STATE_LIST_MARK; in check_cfg()4276 env->explored_states[t] = STATE_LIST_MARK; in check_cfg()4663 sl = env->explored_states[insn_idx]; in is_state_visited()4708 new_sl->next = env->explored_states[insn_idx]; in is_state_visited()4709 env->explored_states[insn_idx] = new_sl; in is_state_visited()5877 if (!env->explored_states) in free_states()5881 sl = env->explored_states[i]; in free_states()[all …]
