Lines Matching refs:prev_insn_idx
193 int prev_insn_idx; member
1733 static int pop_stack(struct bpf_verifier_env *env, int *prev_insn_idx, in pop_stack() argument
1753 if (prev_insn_idx) in pop_stack()
1754 *prev_insn_idx = head->prev_insn_idx; in pop_stack()
1776 int insn_idx, int prev_insn_idx, in push_stack() argument
1788 elem->prev_insn_idx = prev_insn_idx; in push_stack()
2313 int insn_idx, int prev_insn_idx, in push_async_cb() argument
2324 elem->prev_insn_idx = prev_insn_idx; in push_async_cb()
18403 int prev_insn_idx = -1; in do_check() local
18413 env->prev_insn_idx = prev_insn_idx; in do_check()
18432 state->last_insn_idx = env->prev_insn_idx; in do_check()
18439 if (!state->speculative && prev_insn_idx >= 0 && prev_insn_idx < insn_cnt) { in do_check()
18440 struct bpf_insn *prev_insn = &insns[prev_insn_idx]; in do_check()
18441 int fallthrough_idx = prev_insn_idx + 1; in do_check()
18442 int branch_idx = prev_insn_idx + bpf_jmp_offset(prev_insn) + 1; in do_check()
18450 bpf_diag_record_branch(env, prev_insn_idx, true); in do_check()
18452 bpf_diag_record_branch(env, prev_insn_idx, false); in do_check()
18465 env->prev_insn_idx, env->insn_idx, in do_check()
18489 env->prev_insn_idx, env->insn_idx, in do_check()
18511 env->prev_insn_idx); in do_check()
18517 prev_insn_idx = env->insn_idx; in do_check()
18592 err = pop_stack(env, &prev_insn_idx, &env->insn_idx, in do_check()