Home
last modified time | relevance | path

Searched refs:queued_st (Results 1 – 1 of 1) sorted by relevance

/linux-6.12.1/kernel/bpf/
Dverifier.c8224 struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st; in process_iter_next_call() local
8254 queued_st = push_stack(env, insn_idx + 1, insn_idx, false); in process_iter_next_call()
8255 if (!queued_st) in process_iter_next_call()
8258 queued_iter = get_iter_from_state(queued_st, meta); in process_iter_next_call()
8262 widen_imprecise_scalars(env, prev_st, queued_st); in process_iter_next_call()
8264 queued_fr = queued_st->frame[queued_st->curframe]; in process_iter_next_call()
15371 struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st; in check_cond_jmp_op() local
15384 queued_st = push_stack(env, idx + 1, idx, false); in check_cond_jmp_op()
15385 if (!queued_st) in check_cond_jmp_op()
15388 queued_st->may_goto_depth++; in check_cond_jmp_op()
[all …]