Searched refs:init_explored_state (Results 1 – 1 of 1) sorted by relevance
9512 static void init_explored_state(struct bpf_verifier_env *env, int idx) in init_explored_state() function9547 init_explored_state(env, w); in push_insn()9586 init_explored_state(env, t + 1); in visit_func_call_insn()9588 init_explored_state(env, t); in visit_func_call_insn()9628 init_explored_state(env, t); in visit_insn()9646 init_explored_state(env, t + insns[t].off + 1); in visit_insn()9651 init_explored_state(env, t + 1); in visit_insn()9657 init_explored_state(env, t); in visit_insn()
