Searched refs:init_explored_state (Results 1 – 1 of 1) sorted by relevance
10736 static void init_explored_state(struct bpf_verifier_env *env, int idx) in init_explored_state() function10771 init_explored_state(env, w); in push_insn()10810 init_explored_state(env, t + 1); in visit_func_call_insn()10812 init_explored_state(env, t); in visit_func_call_insn()10852 init_explored_state(env, t); in visit_insn()10870 init_explored_state(env, t + insns[t].off + 1); in visit_insn()10875 init_explored_state(env, t + 1); in visit_insn()10881 init_explored_state(env, t); in visit_insn()
