Searched refs:u32_max_value (Results 1 – 3 of 3) sorted by relevance
| /linux-6.15/kernel/bpf/ |
| H A D | verifier.c | 2264 reg->u32_max_value = min(reg->u32_max_value, in __update_reg32_bounds()
2316 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->umax_value); in __reg32_deduce_bounds()
2327 reg->u32_max_value = min_t(u32, reg->u32_max_value, (u32)reg->smax_value); in __reg32_deduce_bounds()
2371 reg->u32_max_value = min_t(u32, reg->s32_max_value, reg->u32_max_value); in __reg32_deduce_bounds()
14672 dst_reg->u32_max_value = min(dst_reg->u32_max_value, umax_val); in scalar32_min_max_and()
15920 reg1->u32_max_value = min(reg1->u32_max_value, reg2->u32_max_value); in regs_refine_cond_op()
15924 reg2->u32_max_value = reg1->u32_max_value; in regs_refine_cond_op()
15968 reg1->u32_max_value--; in regs_refine_cond_op()
16024 reg1->u32_max_value = min(reg1->u32_max_value, reg2->u32_max_value); in regs_refine_cond_op()
16033 reg1->u32_max_value = min(reg1->u32_max_value, reg2->u32_max_value - 1); in regs_refine_cond_op()
[all …]
|
| H A D | log.c | 633 {"umax32", reg->u32_max_value, reg->u32_max_value == U32_MAX}, in print_scalar_ranges()
|
| /linux-6.15/include/linux/ |
| H A D | bpf_verifier.h | 153 u32 u32_max_value; /* maximum possible (u32)value */ member
|