Searched refs:smax_value (Results 1 – 3 of 3) sorted by relevance
| /linux-6.15/kernel/bpf/ |
| H A D | verifier.c | 2274 reg->smax_value = min_t(s64, reg->smax_value, in __update_reg64_bounds()
2446 reg->smax_value = min_t(s64, reg->smax_value, reg->umax_value); in __reg64_deduce_bounds()
2484 reg->smax_value = min_t(s64, reg->smax_value, new_smax); in __reg_deduce_mixed_bounds()
2497 reg->smax_value = min_t(s64, reg->smax_value, new_smax); in __reg_deduce_mixed_bounds()
2701 reg->smax_value = min_t(s64, reg->smax_value, s32_max); in __mark_reg_s32_range()
15935 reg1->smax_value = min(reg1->smax_value, reg2->smax_value); in regs_refine_cond_op()
15939 reg2->smax_value = reg1->smax_value; in regs_refine_cond_op()
15981 reg1->smax_value--; in regs_refine_cond_op()
16045 reg1->smax_value = min(reg1->smax_value, reg2->smax_value); in regs_refine_cond_op()
16054 reg1->smax_value = min(reg1->smax_value, reg2->smax_value - 1); in regs_refine_cond_op()
[all …]
|
| H A D | log.c | 621 {"smax", reg->smax_value, reg->smax_value == S64_MAX}, in print_scalar_ranges()
|
| /linux-6.15/include/linux/ |
| H A D | bpf_verifier.h | 147 s64 smax_value; /* maximum possible (s64)value */ member
|