Searched refs:regs_refine_cond_op (Results 1 – 1 of 1) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 15476 static void regs_refine_cond_op(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2, in scalar32_min_max_smod() 15482 * regs_refine_cond_op() is sound, so producing ill-formed register bounds for the branch means in scalar32_min_max_smod() 15488 regs_refine_cond_op(&env->false_reg1, &env->false_reg2, rev_opcode(opcode), is_jmp32); in scalar_min_max_smod() 15500 regs_refine_cond_op(&env->true_reg1, &env->true_reg2, opcode, is_jmp32); in scalar_min_max_smod() 15810 static void regs_refine_cond_op(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2, in scalar32_min_max_rsh() 15872 * jump would be predicted and regs_refine_cond_op() in scalar32_min_max_arsh() 16978 static void regs_refine_cond_op(struct bpf_reg_state *reg1, struct bpf_reg_state *reg2, regs_refine_cond_op() function
|