Searched refs:smin_value (Results 1 – 3 of 3) sorted by relevance
| /linux-6.15/kernel/bpf/ |
| H A D | verifier.c | 2271 reg->smin_value = max_t(s64, reg->smin_value, in __update_reg64_bounds()
2445 reg->smin_value = max_t(s64, reg->smin_value, reg->umin_value); in __reg64_deduce_bounds()
2483 reg->smin_value = max_t(s64, reg->smin_value, new_smin); in __reg_deduce_mixed_bounds()
2496 reg->smin_value = max_t(s64, reg->smin_value, new_smin); in __reg_deduce_mixed_bounds()
2700 reg->smin_value = max_t(s64, reg->smin_value, s32_min); in __mark_reg_s32_range()
5649 (off + reg->smin_value != (s64)(s32)(off + reg->smin_value)) || in check_mem_region_access()
15934 reg1->smin_value = max(reg1->smin_value, reg2->smin_value); in regs_refine_cond_op()
15938 reg2->smin_value = reg1->smin_value; in regs_refine_cond_op()
16046 reg2->smin_value = max(reg1->smin_value, reg2->smin_value); in regs_refine_cond_op()
16055 reg2->smin_value = max(reg1->smin_value + 1, reg2->smin_value); in regs_refine_cond_op()
[all …]
|
| H A D | log.c | 620 {"smin", reg->smin_value, reg->smin_value == S64_MIN}, in print_scalar_ranges()
|
| /linux-6.15/include/linux/ |
| H A D | bpf_verifier.h | 146 s64 smin_value; /* minimum possible (s64)value */ member
|