Home
last modified time | relevance | path

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

/openbmc/linux/kernel/bpf/
H A Dverifier.c6176 s32 init_s32_max, init_s32_min, s32_max, s32_min, u32_val; in coerce_subreg_to_size_sx() local
6208 s32_max = max(init_s32_max, init_s32_min); in coerce_subreg_to_size_sx()
6211 if ((s32_min >= 0) == (s32_max >= 0)) { in coerce_subreg_to_size_sx()
6213 reg->s32_max_value = s32_max; in coerce_subreg_to_size_sx()
6215 reg->u32_max_value = (u32)s32_max; in coerce_subreg_to_size_sx()
6216 reg->var_off = tnum_subreg(tnum_range(s32_min, s32_max)); in coerce_subreg_to_size_sx()