Lines Matching refs:prev_st
9229 struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st; in process_iter_next_call() local
9257 prev_st = find_prev_entry(env, cur_st->parent, insn_idx); in process_iter_next_call()
9266 if (prev_st) in process_iter_next_call()
9267 widen_imprecise_scalars(env, prev_st, queued_st); in process_iter_next_call()
11236 struct bpf_verifier_state *state = env->cur_state, *prev_st; in prepare_func_exit() local
11319 prev_st = in_callback_fn ? find_prev_entry(env, state, *insn_idx) : NULL; in prepare_func_exit()
11320 if (prev_st) { in prepare_func_exit()
11321 err = widen_imprecise_scalars(env, prev_st, state); in prepare_func_exit()
17506 struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st; in check_cond_jmp_op() local
17515 prev_st = find_prev_entry(env, cur_st->parent, idx); in check_cond_jmp_op()
17523 if (prev_st) in check_cond_jmp_op()
17524 widen_imprecise_scalars(env, prev_st, queued_st); in check_cond_jmp_op()