Home
last modified time | relevance | path

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

/Linux-v5.4/kernel/bpf/
Dverifier.c4336 u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value, in adjust_ptr_min_max_vals() local
4344 if ((known && (smin_val != smax_val || umin_val != umax_val)) || in adjust_ptr_min_max_vals()
4345 smin_val > smax_val || umin_val > umax_val) { in adjust_ptr_min_max_vals()
4438 if (umin_ptr + umin_val < umin_ptr || in adjust_ptr_min_max_vals()
4443 dst_reg->umin_value = umin_ptr + umin_val; in adjust_ptr_min_max_vals()
4508 dst_reg->umax_value = umax_ptr - umin_val; in adjust_ptr_min_max_vals()
4575 u64 umin_val, umax_val; in adjust_scalar_min_max_vals() local
4591 umin_val = src_reg.umin_value; in adjust_scalar_min_max_vals()
4596 if ((src_known && (smin_val != smax_val || umin_val != umax_val)) || in adjust_scalar_min_max_vals()
4597 smin_val > smax_val || umin_val > umax_val) { in adjust_scalar_min_max_vals()
[all …]