Searched refs:init_explored_state (Results 1 – 1 of 1) sorted by relevance
8474 static void init_explored_state(struct bpf_verifier_env *env, int idx) in init_explored_state() function8504 init_explored_state(env, w); in push_insn()8574 init_explored_state(env, t + 1); in check_cfg()8576 init_explored_state(env, t); in check_cfg()8600 init_explored_state(env, t + insns[t].off + 1); in check_cfg()8605 init_explored_state(env, t + 1); in check_cfg()8608 init_explored_state(env, t); in check_cfg()