Searched refs:u32_min_value (Results 1 – 3 of 3) sorted by relevance
| /linux-6.15/kernel/bpf/ |
| H A D | verifier.c | 2233 reg->u32_min_value = 0; in __mark_reg_unbounded()
2263 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)var32_off.value); in __update_reg32_bounds()
2315 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)reg->umin_value); in __reg32_deduce_bounds()
2326 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)reg->smin_value); in __reg32_deduce_bounds()
2370 reg->u32_min_value = max_t(u32, reg->s32_min_value, reg->u32_min_value); in __reg32_deduce_bounds()
14734 dst_reg->u32_min_value = max(dst_reg->u32_min_value, umin_val); in scalar32_min_max_or()
15919 reg1->u32_min_value = max(reg1->u32_min_value, reg2->u32_min_value); in regs_refine_cond_op()
15923 reg2->u32_min_value = reg1->u32_min_value; in regs_refine_cond_op()
16025 reg2->u32_min_value = max(reg1->u32_min_value, reg2->u32_min_value); in regs_refine_cond_op()
16034 reg2->u32_min_value = max(reg1->u32_min_value + 1, reg2->u32_min_value); in regs_refine_cond_op()
[all …]
|
| H A D | log.c | 632 {"umin32", reg->u32_min_value, reg->u32_min_value == 0}, in print_scalar_ranges()
|
| /linux-6.15/include/linux/ |
| H A D | bpf_verifier.h | 152 u32 u32_min_value; /* minimum possible (u32)value */ member
|