Searched refs:s64_min (Results 1 – 1 of 1) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 5695 s64 init_s64_max, init_s64_min, s64_max, s64_min, u64_cval; in coerce_reg_to_size_sx() local
5734 s64_min = min(init_s64_max, init_s64_min); in coerce_reg_to_size_sx()
5737 if ((s64_max >= 0) == (s64_min >= 0)) { in coerce_reg_to_size_sx()
5738 reg_set_srange64(reg, s64_min, s64_max); in coerce_reg_to_size_sx()
5739 reg_set_srange32(reg, s64_min, s64_max); in coerce_reg_to_size_sx()
5740 reg->var_off = tnum_range(s64_min, s64_max); in coerce_reg_to_size_sx()
|