Searched refs:s32_min (Results 1 – 1 of 1) sorted by relevance
| /linux-6.12.1/kernel/bpf/ |
| D | verifier.c | 2375 s32 s32_min, in __mark_reg_s32_range() argument
2380 reg->s32_min_value = max_t(s32, reg->s32_min_value, s32_min); in __mark_reg_s32_range()
2383 reg->smin_value = max_t(s64, reg->smin_value, s32_min); in __mark_reg_s32_range()
6371 s32 init_s32_max, init_s32_min, s32_max, s32_min, u32_val; in coerce_subreg_to_size_sx() local
6404 s32_min = min(init_s32_max, init_s32_min); in coerce_subreg_to_size_sx()
6406 if ((s32_min >= 0) == (s32_max >= 0)) { in coerce_subreg_to_size_sx()
6407 reg->s32_min_value = s32_min; in coerce_subreg_to_size_sx()
6409 reg->u32_min_value = (u32)s32_min; in coerce_subreg_to_size_sx()
6411 reg->var_off = tnum_subreg(tnum_range(s32_min, s32_max)); in coerce_subreg_to_size_sx()
|