Searched refs:init_explored_state (Results 1 – 1 of 1) sorted by relevance
6214 static void init_explored_state(struct bpf_verifier_env *env, int idx) in init_explored_state() function6244 init_explored_state(env, w); in push_insn()6314 init_explored_state(env, t + 1); in check_cfg()6316 init_explored_state(env, t); in check_cfg()6340 init_explored_state(env, t + insns[t].off + 1); in check_cfg()6345 init_explored_state(env, t + 1); in check_cfg()6348 init_explored_state(env, t); in check_cfg()
