Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c14670 u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value, in adjust_ptr_min_max_vals() local
14679 if ((known && (smin_val != smax_val || umin_val != umax_val)) || in adjust_ptr_min_max_vals()
14680 smin_val > smax_val || umin_val > umax_val) { in adjust_ptr_min_max_vals()
14794 if (check_add_overflow(umin_ptr, umin_val, &dst_reg->umin_value) || in adjust_ptr_min_max_vals()
14853 dst_reg->umax_value = umax_ptr - umin_val; in adjust_ptr_min_max_vals()
14909 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_add() local
14924 min_overflow = check_add_overflow(*dst_umin, umin_val, dst_umin); in scalar32_min_max_add()
14940 u64 umin_val = src_reg->umin_value; in scalar_min_max_add() local
14955 min_overflow = check_add_overflow(*dst_umin, umin_val, dst_umin); in scalar_min_max_add()
14971 u32 umin_val = src_reg->u32_min_value; in scalar32_min_max_sub() local
[all …]