Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c6902 s64 init_s64_max, init_s64_min, s64_max, s64_min, u64_cval; in coerce_reg_to_size_sx() local
6942 s64_max = max(init_s64_max, init_s64_min); in coerce_reg_to_size_sx()
6946 if ((s64_max >= 0) == (s64_min >= 0)) { in coerce_reg_to_size_sx()
6948 reg->s32_max_value = reg->smax_value = s64_max; in coerce_reg_to_size_sx()
6950 reg->u32_max_value = reg->umax_value = s64_max; in coerce_reg_to_size_sx()
6951 reg->var_off = tnum_range(s64_min, s64_max); in coerce_reg_to_size_sx()