Home
last modified time | relevance | path

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

/Linux-v6.6/kernel/bpf/
Dverifier.c13743 u32 true_umax = opcode == BPF_JLT ? val32 - 1 : val32; in reg_set_min_max() local
13748 true_umax); in reg_set_min_max()
13751 u64 true_umax = opcode == BPF_JLT ? val - 1 : val; in reg_set_min_max() local
13754 true_reg->umax_value = min(true_reg->umax_value, true_umax); in reg_set_min_max()