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()
3528 		false_reg->smin_value = max_t(s64, false_reg->smin_value, val + 1);  in reg_set_min_max()
3535 	__reg_deduce_bounds(false_reg);  in reg_set_min_max()
3538 	__reg_bound_offset(false_reg);  in reg_set_min_max()
3544 	__update_reg_bounds(false_reg);  in reg_set_min_max()
3552 				struct bpf_reg_state *false_reg, u64 val,  in reg_set_min_max_inv()  argument
3555 	if (__is_pointer_value(false, false_reg))  in reg_set_min_max_inv()
3569 		__mark_reg_known(false_reg, val);  in reg_set_min_max_inv()
3573 		false_reg->umin_value = max(false_reg->umin_value, val);  in reg_set_min_max_inv()
3577 		false_reg->smin_value = max_t(s64, false_reg->smin_value, val);  in reg_set_min_max_inv()
3581 		false_reg->umax_value = min(false_reg->umax_value, val);  in reg_set_min_max_inv()
3585 		false_reg->smax_value = min_t(s64, false_reg->smax_value, val);  in reg_set_min_max_inv()
3589 		false_reg->umin_value = max(false_reg->umin_value, val + 1);  in reg_set_min_max_inv()
3593 		false_reg->smin_value = max_t(s64, false_reg->smin_value, val + 1);  in reg_set_min_max_inv()
3597 		false_reg->umax_value = min(false_reg->umax_value, val - 1);  in reg_set_min_max_inv()
3601 		false_reg->smax_value = min_t(s64, false_reg->smax_value, val - 1);  in reg_set_min_max_inv()
3607 	__reg_deduce_bounds(false_reg);  in reg_set_min_max_inv()
3610 	__reg_bound_offset(false_reg);  in reg_set_min_max_inv()
3616 	__update_reg_bounds(false_reg);  in reg_set_min_max_inv()