Home
last modified time | relevance | path

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

/OK3568_Linux_fs/kernel/kernel/bpf/
H A Dverifier.c7938 struct bpf_reg_state *dst_reg, *other_branch_regs, *src_reg = NULL; in check_cond_jmp_op() local
8043 other_branch_regs = other_branch->frame[other_branch->curframe]->regs; in check_cond_jmp_op()
8060 reg_set_min_max(&other_branch_regs[insn->dst_reg], in check_cond_jmp_op()
8068 reg_set_min_max_inv(&other_branch_regs[insn->src_reg], in check_cond_jmp_op()
8076 reg_combine_min_max(&other_branch_regs[insn->src_reg], in check_cond_jmp_op()
8077 &other_branch_regs[insn->dst_reg], in check_cond_jmp_op()
8080 !WARN_ON_ONCE(src_reg->id != other_branch_regs[insn->src_reg].id)) { in check_cond_jmp_op()
8082 find_equal_scalars(other_branch, &other_branch_regs[insn->src_reg]); in check_cond_jmp_op()
8087 reg_set_min_max(&other_branch_regs[insn->dst_reg], in check_cond_jmp_op()
8093 !WARN_ON_ONCE(dst_reg->id != other_branch_regs[insn->dst_reg].id)) { in check_cond_jmp_op()
[all …]