Home
last modified time | relevance | path

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

/Linux-v5.4/kernel/bpf/
Dverifier.c5404 u64 false_umin = opcode == BPF_JLT ? val : val + 1; in reg_set_min_max() local
5408 false_umin += gen_hi_min(false_reg->var_off); in reg_set_min_max()
5411 false_reg->umin_value = max(false_reg->umin_value, false_umin); in reg_set_min_max()
5487 u64 false_umin = opcode == BPF_JGT ? val : val + 1; in reg_set_min_max_inv() local
5491 false_umin += gen_hi_min(false_reg->var_off); in reg_set_min_max_inv()
5494 false_reg->umin_value = max(false_reg->umin_value, false_umin); in reg_set_min_max_inv()