Searched refs:s64_min (Results 1 - 1 of 1) sorted by last modified time

/linux-master/kernel/bpf/
H A Dverifier.c6169 s64 init_s64_max, init_s64_min, s64_max, s64_min, u64_cval; local
6197 /* find the s64_min and s64_min after sign extension */
6210 s64_min = min(init_s64_max, init_s64_min);
6212 /* both of s64_max/s64_min positive or negative */
6213 if ((s64_max >= 0) == (s64_min >= 0)) {
6214 reg->smin_value = reg->s32_min_value = s64_min;
6216 reg->umin_value = reg->u32_min_value = s64_min;
6218 reg->var_off = tnum_range(s64_min, s64_max);

Completed in 238 milliseconds