Searched refs:s64_min (Results 1 - 1 of 1) sorted by relevance

/linux-master/kernel/bpf/
H A Dverifier.c6154 s64 init_s64_max, init_s64_min, s64_max, s64_min, u64_cval; local
6182 /* find the s64_min and s64_min after sign extension */
6195 s64_min = min(init_s64_max, init_s64_min);
6197 /* both of s64_max/s64_min positive or negative */
6198 if ((s64_max >= 0) == (s64_min >= 0)) {
6199 reg->smin_value = reg->s32_min_value = s64_min;
6201 reg->umin_value = reg->u32_min_value = s64_min;
6203 reg->var_off = tnum_range(s64_min, s64_max);

Completed in 183 milliseconds