Home
last modified time | relevance | path

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

/Linux-v5.4/kernel/bpf/
Dverifier.c5376 u64 true_umin = opcode == BPF_JGT ? val + 1 : val; in reg_set_min_max() local
5380 true_umin += gen_hi_min(true_reg->var_off); in reg_set_min_max()
5383 true_reg->umin_value = max(true_reg->umin_value, true_umin); in reg_set_min_max()
5514 u64 true_umin = opcode == BPF_JLT ? val + 1 : val; in reg_set_min_max_inv() local
5518 true_umin += gen_hi_min(true_reg->var_off); in reg_set_min_max_inv()
5521 true_reg->umin_value = max(true_reg->umin_value, true_umin); in reg_set_min_max_inv()