Searched refs:init_explored_state (Results 1 – 1 of 1) sorted by relevance
7958 static void init_explored_state(struct bpf_verifier_env *env, int idx) in init_explored_state() function7988 init_explored_state(env, w); in push_insn()8058 init_explored_state(env, t + 1); in check_cfg()8060 init_explored_state(env, t); in check_cfg()8084 init_explored_state(env, t + insns[t].off + 1); in check_cfg()8089 init_explored_state(env, t + 1); in check_cfg()8092 init_explored_state(env, t); in check_cfg()
