Home
last modified time | relevance | path

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

/linux-6.12.1/kernel/bpf/
Dverifier.c15052 struct bpf_reg_state *false_reg1, in reg_set_min_max() argument
15062 if (false_reg1->type != SCALAR_VALUE || false_reg2->type != SCALAR_VALUE) in reg_set_min_max()
15066 regs_refine_cond_op(false_reg1, false_reg2, rev_opcode(opcode), is_jmp32); in reg_set_min_max()
15067 reg_bounds_sync(false_reg1); in reg_set_min_max()
15077 err = err ?: reg_bounds_sanity_check(env, false_reg1, "false_reg1"); in reg_set_min_max()