Searched refs:false_reg2 (Results 1 – 2 of 2) sorted by relevance
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 912 struct bpf_reg_state true_reg1, true_reg2, false_reg1, false_reg2; member
|
| /linux/kernel/bpf/ |
| H A D | verifier.c | 15511 regs_refine_cond_op(&env->false_reg1, &env->false_reg2, rev_opcode(opcode), is_jmp32); in simulate_both_branches_taken()
15513 reg_bounds_sync(&env->false_reg2); in simulate_both_branches_taken()
15519 if (range_bounds_violation(&env->false_reg1) || range_bounds_violation(&env->false_reg2)) in simulate_both_branches_taken()
16011 err = err ?: reg_bounds_sanity_check(env, &env->false_reg2, "false_reg2"); in regs_bounds_sanity_check_branches()
16381 copy_register_state(&env->false_reg2, src_reg); in check_cond_jmp_op()
16453 copy_register_state(src_reg, &env->false_reg2); in check_cond_jmp_op()
|