Lines Matching refs:prev_st
8887 struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st; in process_iter_next_call() local
8915 prev_st = find_prev_entry(env, cur_st->parent, insn_idx); in process_iter_next_call()
8924 if (prev_st) in process_iter_next_call()
8925 widen_imprecise_scalars(env, prev_st, queued_st); in process_iter_next_call()
10834 struct bpf_verifier_state *state = env->cur_state, *prev_st; in prepare_func_exit() local
10914 prev_st = in_callback_fn ? find_prev_entry(env, state, *insn_idx) : NULL; in prepare_func_exit()
10915 if (prev_st) { in prepare_func_exit()
10916 err = widen_imprecise_scalars(env, prev_st, state); in prepare_func_exit()
16391 struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st; in check_cond_jmp_op() local
16400 prev_st = find_prev_entry(env, cur_st->parent, idx); in check_cond_jmp_op()
16408 if (prev_st) in check_cond_jmp_op()
16409 widen_imprecise_scalars(env, prev_st, queued_st); in check_cond_jmp_op()