Searched refs:smin_val (Results 1 – 1 of 1) sorted by relevance
4334 s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_value, in adjust_ptr_min_max_vals() local4344 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()4379 if (!env->allow_ptr_leaks && !known && (smin_val < 0) != (smax_val < 0)) { in adjust_ptr_min_max_vals()4401 ret = sanitize_ptr_alu(env, insn, ptr_reg, dst_reg, smin_val < 0); in adjust_ptr_min_max_vals()4409 if (known && (ptr_reg->off + smin_val == in adjust_ptr_min_max_vals()4410 (s64)(s32)(ptr_reg->off + smin_val))) { in adjust_ptr_min_max_vals()4417 dst_reg->off = ptr_reg->off + smin_val; in adjust_ptr_min_max_vals()4430 if (signed_add_overflows(smin_ptr, smin_val) || in adjust_ptr_min_max_vals()4435 dst_reg->smin_value = smin_ptr + smin_val; in adjust_ptr_min_max_vals()[all …]
