Searched refs:true_reg2 (Results 1 – 2 of 2) sorted by relevance
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 1035 struct bpf_reg_state true_reg1, true_reg2, false_reg1, false_reg2; member
|
| /linux/kernel/bpf/ |
| H A D | verifier.c | 16223 regs_refine_cond_op(&env->true_reg1, &env->true_reg2, opcode, is_jmp32); in simulate_both_branches_taken()
16225 reg_bounds_sync(&env->true_reg2); in simulate_both_branches_taken()
16228 * reg_states in the TRUE branch (i.e. true_reg1, true_reg2), the TRUE branch must be dead. in simulate_both_branches_taken()
16231 if (range_bounds_violation(&env->true_reg1) || range_bounds_violation(&env->true_reg2))
16683 err = err ?: reg_bounds_sanity_check(env, &env->true_reg2, "true_reg2"); in mark_ptr_or_null_reg()
17056 env->true_reg2 = *src_reg; in check_cond_jmp_op()
17125 other_branch_regs[insn->src_reg] = env->true_reg2; in check_cond_jmp_op()
|