Searched refs:true_reg (Results 1 – 1 of 1) sorted by relevance
| /Linux-v4.19/kernel/bpf/ |
| D | verifier.c | 3473 static void reg_set_min_max(struct bpf_reg_state *true_reg, in reg_set_min_max() argument
3491 __mark_reg_known(true_reg, val); in reg_set_min_max()
3501 true_reg->umin_value = max(true_reg->umin_value, val + 1); in reg_set_min_max()
3505 true_reg->smin_value = max_t(s64, true_reg->smin_value, val + 1); in reg_set_min_max()
3509 true_reg->umax_value = min(true_reg->umax_value, val - 1); in reg_set_min_max()
3513 true_reg->smax_value = min_t(s64, true_reg->smax_value, val - 1); in reg_set_min_max()
3517 true_reg->umin_value = max(true_reg->umin_value, val); in reg_set_min_max()
3521 true_reg->smin_value = max_t(s64, true_reg->smin_value, val); in reg_set_min_max()
3525 true_reg->umax_value = min(true_reg->umax_value, val); in reg_set_min_max()
3529 true_reg->smax_value = min_t(s64, true_reg->smax_value, val); in reg_set_min_max()
[all …]
|
