Searched refs:false_reg (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/kernel/bpf/ |
| D | verifier.c | 3474 struct bpf_reg_state *false_reg, u64 val, in reg_set_min_max() argument
3483 if (__is_pointer_value(false, false_reg)) in reg_set_min_max()
3497 __mark_reg_known(false_reg, val); in reg_set_min_max()
3500 false_reg->umax_value = min(false_reg->umax_value, val); in reg_set_min_max()
3504 false_reg->smax_value = min_t(s64, false_reg->smax_value, val); in reg_set_min_max()
3508 false_reg->umin_value = max(false_reg->umin_value, val); in reg_set_min_max()
3512 false_reg->smin_value = max_t(s64, false_reg->smin_value, val); in reg_set_min_max()
3516 false_reg->umax_value = min(false_reg->umax_value, val - 1); in reg_set_min_max()
3520 false_reg->smax_value = min_t(s64, false_reg->smax_value, val - 1); in reg_set_min_max()
3524 false_reg->umin_value = max(false_reg->umin_value, val + 1); in reg_set_min_max()
[all …]
|
