Home
last modified time | relevance | path

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

/Linux-v5.4/kernel/bpf/
Dverifier.c5375 u64 false_umax = opcode == BPF_JGT ? val : val - 1; in reg_set_min_max() local
5379 false_umax += gen_hi_max(false_reg->var_off); in reg_set_min_max()
5382 false_reg->umax_value = min(false_reg->umax_value, false_umax); in reg_set_min_max()
5513 u64 false_umax = opcode == BPF_JLT ? val : val - 1; in reg_set_min_max_inv() local
5517 false_umax += gen_hi_max(false_reg->var_off); in reg_set_min_max_inv()
5520 false_reg->umax_value = min(false_reg->umax_value, false_umax); in reg_set_min_max_inv()