Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c14874 u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value, in adjust_ptr_min_max_vals() local
14883 if ((known && (smin_val != smax_val || umin_val != umax_val)) || in adjust_ptr_min_max_vals()
14884 smin_val > smax_val || umin_val > umax_val) { in adjust_ptr_min_max_vals()
14999 check_add_overflow(umax_ptr, umax_val, &dst_reg->umax_value)) { in adjust_ptr_min_max_vals()
15050 if (umin_ptr < umax_val) { in adjust_ptr_min_max_vals()
15056 dst_reg->umin_value = umin_ptr - umax_val; in adjust_ptr_min_max_vals()
15114 u32 umax_val = src_reg->u32_max_value; in scalar32_min_max_add() local
15129 max_overflow = check_add_overflow(*dst_umax, umax_val, dst_umax); in scalar32_min_max_add()
15145 u64 umax_val = src_reg->umax_value; in scalar_min_max_add() local
15160 max_overflow = check_add_overflow(*dst_umax, umax_val, dst_umax); in scalar_min_max_add()
[all …]