Home
last modified time | relevance | path

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

/OK3568_Linux_fs/kernel/kernel/bpf/
H A Dverifier.c7520 struct bpf_reg_state *false_reg, in reg_set_min_max() argument
7524 struct tnum false_32off = tnum_subreg(false_reg->var_off); in reg_set_min_max()
7525 struct tnum false_64off = false_reg->var_off; in reg_set_min_max()
7537 if (__is_pointer_value(false, false_reg)) in reg_set_min_max()
7561 __mark_reg32_known(false_reg, val32); in reg_set_min_max()
7562 false_32off = tnum_subreg(false_reg->var_off); in reg_set_min_max()
7564 ___mark_reg_known(false_reg, val); in reg_set_min_max()
7565 false_64off = false_reg->var_off; in reg_set_min_max()
7588 false_reg->u32_max_value = min(false_reg->u32_max_value, in reg_set_min_max()
7596 false_reg->umax_value = min(false_reg->umax_value, false_umax); in reg_set_min_max()
[all …]