Home
last modified time | relevance | path

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

/Linux-v5.10/kernel/bpf/
Dverifier.c6981 struct bpf_reg_state *false_reg, in reg_set_min_max() argument
6985 struct tnum false_32off = tnum_subreg(false_reg->var_off); in reg_set_min_max()
6986 struct tnum false_64off = false_reg->var_off; in reg_set_min_max()
6998 if (__is_pointer_value(false, false_reg)) in reg_set_min_max()
7006 opcode == BPF_JEQ ? true_reg : false_reg; in reg_set_min_max()
7042 false_reg->u32_max_value = min(false_reg->u32_max_value, in reg_set_min_max()
7050 false_reg->umax_value = min(false_reg->umax_value, false_umax); in reg_set_min_max()
7062 false_reg->s32_max_value = min(false_reg->s32_max_value, false_smax); in reg_set_min_max()
7068 false_reg->smax_value = min(false_reg->smax_value, false_smax); in reg_set_min_max()
7080 false_reg->u32_min_value = max(false_reg->u32_min_value, in reg_set_min_max()
[all …]