Home
last modified time | relevance | path

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

/linux-6.12.1/kernel/bpf/
Dverifier.c6297 s64 init_s64_max, init_s64_min, s64_max, s64_min, u64_cval; in coerce_reg_to_size_sx() local
6337 s64_max = max(init_s64_max, init_s64_min); in coerce_reg_to_size_sx()
6341 if ((s64_max >= 0) == (s64_min >= 0)) { in coerce_reg_to_size_sx()
6343 reg->s32_max_value = reg->smax_value = s64_max; in coerce_reg_to_size_sx()
6345 reg->u32_max_value = reg->umax_value = s64_max; in coerce_reg_to_size_sx()
6346 reg->var_off = tnum_range(s64_min, s64_max); in coerce_reg_to_size_sx()