Home
last modified time | relevance | path

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

/openbmc/linux/kernel/bpf/
H A Dverifier.c14137 false_64off = false_reg->var_off; in reg_set_min_max()
14160 false_reg->u32_max_value = min(false_reg->u32_max_value, in reg_set_min_max()
14168 false_reg->umax_value = min(false_reg->umax_value, false_umax); in reg_set_min_max()
14180 false_reg->s32_max_value = min(false_reg->s32_max_value, false_smax); in reg_set_min_max()
14186 false_reg->smax_value = min(false_reg->smax_value, false_smax); in reg_set_min_max()
14198 false_reg->u32_min_value = max(false_reg->u32_min_value, in reg_set_min_max()
14206 false_reg->umin_value = max(false_reg->umin_value, false_umin); in reg_set_min_max()
14218 false_reg->s32_min_value = max(false_reg->s32_min_value, false_smin); in reg_set_min_max()
14224 false_reg->smin_value = max(false_reg->smin_value, false_smin); in reg_set_min_max()
14241 false_reg->var_off = false_64off; in reg_set_min_max()
[all …]