Home
last modified time | relevance | path

Searched refs:s64_max (Results 1 – 1 of 1) sorted by relevance

/Linux-v6.6/kernel/bpf/
Dverifier.c5860 s64 init_s64_max, init_s64_min, s64_max, s64_min, u64_cval; in coerce_reg_to_size_sx() local
5900 s64_max = max(init_s64_max, init_s64_min); in coerce_reg_to_size_sx()
5904 if ((s64_max >= 0) == (s64_min >= 0)) { in coerce_reg_to_size_sx()
5906 reg->smax_value = reg->s32_max_value = s64_max; in coerce_reg_to_size_sx()
5908 reg->umax_value = reg->u32_max_value = s64_max; in coerce_reg_to_size_sx()
5909 reg->var_off = tnum_range(s64_min, s64_max); in coerce_reg_to_size_sx()