Searched refs:s64_max (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
6194 s64_max = max(init_s64_max, init_s64_min);
6197 /* both of s64_max/s64_min positive or negative */
6198 if ((s64_max >= 0) == (s64_min >= 0)) {
6200 reg->smax_value = reg->s32_max_value = s64_max;
6202 reg->umax_value = reg->u32_max_value = s64_max;
6203 reg->var_off = tnum_range(s64_min, s64_max);

Completed in 183 milliseconds