Lines Matching refs:smin_val
14290 s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value, in adjust_ptr_min_max_vals() local
14301 if ((known && (smin_val != smax_val || umin_val != umax_val)) || in adjust_ptr_min_max_vals()
14302 smin_val > smax_val || umin_val > umax_val) { in adjust_ptr_min_max_vals()
14349 if (known && smin_val == 0 && opcode == BPF_ADD) in adjust_ptr_min_max_vals()
14383 if (known && (ptr_reg->off + smin_val == in adjust_ptr_min_max_vals()
14384 (s64)(s32)(ptr_reg->off + smin_val))) { in adjust_ptr_min_max_vals()
14391 dst_reg->off = ptr_reg->off + smin_val; in adjust_ptr_min_max_vals()
14404 if (check_add_overflow(smin_ptr, smin_val, &dst_reg->smin_value) || in adjust_ptr_min_max_vals()
14439 if (known && (ptr_reg->off - smin_val == in adjust_ptr_min_max_vals()
14440 (s64)(s32)(ptr_reg->off - smin_val))) { in adjust_ptr_min_max_vals()
14448 dst_reg->off = ptr_reg->off - smin_val; in adjust_ptr_min_max_vals()
14456 check_sub_overflow(smax_ptr, smin_val, &dst_reg->smax_value)) { in adjust_ptr_min_max_vals()
14476 if (smin_val < 0) in adjust_ptr_min_max_vals()