Home
last modified time | relevance | path

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

/linux-6.15/kernel/bpf/
H A Dlog.c629 is_snum_decimal((s64)reg->s32_max_value) in print_scalar_ranges()
630 ? (s64)reg->s32_max_value in print_scalar_ranges()
631 : (u32)reg->s32_max_value, reg->s32_max_value == S32_MAX}, in print_scalar_ranges()
H A Dverifier.c2261 reg->s32_max_value = min_t(s32, reg->s32_max_value, in __update_reg32_bounds()
2320 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->umax_value); in __reg32_deduce_bounds()
2351 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->umax_value); in __reg32_deduce_bounds()
2356 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->smax_value); in __reg32_deduce_bounds()
2363 reg->s32_max_value = min_t(s32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()
2698 reg->s32_max_value = min_t(s32, reg->s32_max_value, s32_max); in __mark_reg_s32_range()
15922 reg1->s32_max_value = min(reg1->s32_max_value, reg2->s32_max_value); in regs_refine_cond_op()
15926 reg2->s32_max_value = reg1->s32_max_value; in regs_refine_cond_op()
16042 reg1->s32_max_value = min(reg1->s32_max_value, reg2->s32_max_value); in regs_refine_cond_op()
16051 reg1->s32_max_value = min(reg1->s32_max_value, reg2->s32_max_value - 1); in regs_refine_cond_op()
[all …]
/linux-6.15/include/linux/
H A Dbpf_verifier.h151 s32 s32_max_value; /* maximum possible (s32)value */ member