Lines Matching refs:curframe
1388 for (i = 0; i <= state->curframe; i++) { in free_verifier_state()
1428 for (i = src->curframe + 1; i <= dst_state->curframe; i++) { in copy_verifier_state()
1436 dst_state->curframe = src->curframe; in copy_verifier_state()
1447 for (i = 0; i <= src->curframe; i++) { in copy_verifier_state()
1470 struct bpf_func_state *state = cur->frame[cur->curframe]; in explored_state()
1479 if (a->curframe != b->curframe) in same_callsites()
1482 for (fr = a->curframe; fr >= 0; fr--) in same_callsites()
3368 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_reg_arg()
4124 st->curframe); in mark_all_scalars_precise()
4134 for (i = 0; i <= st->curframe; i++) { in mark_all_scalars_precise()
4168 for (i = 0; i <= st->curframe; i++) { in mark_all_scalars_imprecise()
4290 bt_init(bt, env->cur_state->curframe); in __mark_chain_precision()
4325 if (st->curframe == 0 && in __mark_chain_precision()
4635 cur = env->cur_state->frame[env->cur_state->curframe]; in check_stack_write_fixed_off()
4774 cur = env->cur_state->frame[env->cur_state->curframe]; in check_stack_write_var_off()
4881 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_reg_stack_read()
4922 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_stack_read_fixed_off()
5250 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_mem_region_access()
5554 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in check_map_access()
8110 for (fr = old->curframe; fr >= 0; fr--) { in widen_imprecise_scalars()
8225 struct bpf_func_state *cur_fr = cur_st->frame[cur_st->curframe], *queued_fr; in process_iter_next_call()
8264 queued_fr = queued_st->frame[queued_st->curframe]; in process_iter_next_call()
9445 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_pkt_end()
9525 if (state->curframe + 1 >= MAX_CALL_FRAMES) { in setup_func_entry()
9527 state->curframe + 2); in setup_func_entry()
9531 if (state->frame[state->curframe + 1]) { in setup_func_entry()
9533 state->curframe + 1); in setup_func_entry()
9537 caller = state->frame[state->curframe]; in setup_func_entry()
9541 state->frame[state->curframe + 1] = callee; in setup_func_entry()
9550 state->curframe + 1 /* frameno within this callchain */, in setup_func_entry()
9559 state->curframe++; in setup_func_entry()
9565 state->frame[state->curframe + 1] = NULL; in setup_func_entry()
9701 caller = state->frame[state->curframe]; in push_callback_call()
9757 callback_state->frame[callback_state->curframe - 1]->callback_depth++; in push_callback_call()
9776 caller = state->frame[state->curframe]; in check_func_call()
9833 print_verifier_state(env, state->frame[state->curframe], true); in check_func_call()
10054 if (!state->curframe) in in_rbtree_lock_required_cb()
10057 callee = state->frame[state->curframe]; in in_rbtree_lock_required_cb()
10083 callee = state->frame[state->curframe]; in prepare_func_exit()
10096 caller = state->frame[state->curframe - 1]; in prepare_func_exit()
10156 state->frame[state->curframe--] = NULL; in prepare_func_exit()
10631 env->cur_state->curframe); in check_helper_call()
13023 regs = branch->frame[branch->curframe]->regs; in sanitize_speculative_path()
13259 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_ptr_min_max_vals()
14161 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in adjust_reg_min_max_vals()
15135 struct bpf_func_state *state = vstate->frame[vstate->curframe]; in mark_ptr_or_null_regs()
15287 for (i = vstate->curframe; i >= 0; i--) { in collect_linked_regs()
15355 struct bpf_reg_state *regs = this_branch->frame[this_branch->curframe]->regs; in check_cond_jmp_op()
15455 print_insn_state(env, this_branch->frame[this_branch->curframe]); in check_cond_jmp_op()
15469 print_insn_state(env, this_branch->frame[this_branch->curframe]); in check_cond_jmp_op()
15492 other_branch_regs = other_branch->frame[other_branch->curframe]->regs; in check_cond_jmp_op()
15586 print_insn_state(env, this_branch->frame[this_branch->curframe]); in check_cond_jmp_op()
17147 for (i = 0; i <= st->curframe; i++) in clean_verifier_state()
17584 if (old->curframe != cur->curframe) in states_equal()
17620 for (i = 0; i <= old->curframe; i++) { in states_equal()
17673 if (vparent->curframe != vstate->curframe) { in propagate_liveness()
17675 vparent->curframe, vstate->curframe); in propagate_liveness()
17680 for (frame = 0; frame <= vstate->curframe; frame++) { in propagate_liveness()
17686 for (i = frame < vstate->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++) { in propagate_liveness()
17720 for (fr = old->curframe; fr >= 0; fr--) { in propagate_precision()
17772 int i, fr = cur->curframe; in states_maybe_looping()
17774 if (old->curframe != fr) in states_maybe_looping()
17855 for (fr = old->curframe; fr >= 0; fr--) { in iter_active_depths_differ()
17909 struct bpf_func_state *frame = sl->state.frame[sl->state.curframe]; in is_state_visited()
17912 frame->async_entry_cnt != cur->frame[cur->curframe]->async_entry_cnt) { in is_state_visited()
17968 cur_frame = cur->frame[cur->curframe]; in is_state_visited()
18007 print_verifier_state(env, cur->frame[cur->curframe], true); in is_state_visited()
18009 print_verifier_state(env, sl->state.frame[cur->curframe], true); in is_state_visited()
18197 for (j = 0; j <= cur->curframe; j++) { in is_state_visited()
18198 for (i = j < cur->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++) in is_state_visited()
18205 for (j = 0; j <= cur->curframe; j++) { in is_state_visited()
18365 print_verifier_state(env, state->frame[state->curframe], true); in do_check()
18377 print_insn_state(env, state->frame[state->curframe]); in do_check()
18558 if (env->cur_state->active_lock.ptr && !env->cur_state->curframe) { in do_check()
18563 if (env->cur_state->active_rcu_lock && !env->cur_state->curframe) { in do_check()
18568 if (env->cur_state->active_preempt_lock && !env->cur_state->curframe) { in do_check()
18598 if (state->curframe) { in do_check()
21518 state->curframe = 0; in do_check_common()
21534 regs = state->frame[state->curframe]->regs; in do_check_common()