Searched refs:u32_min_value (Results 1 – 2 of 2) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 1768 reg->u32_min_value = (u32)imm; in ___mark_reg_known()
1790 reg->u32_min_value = (u32)imm; in __mark_reg32_known()
1912 reg->u32_min_value = 0; in __mark_reg_unbounded()
1928 reg->u32_min_value = 0; in __mark_reg32_unbounded()
1954 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)var32_off.value); in __update_reg32_bounds()
2036 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)reg->umin_value); in deduce_bounds_32_from_64()
2047 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)reg->smin_value); in deduce_bounds_32_from_64()
2086 if ((s32)reg->u32_min_value <= (s32)reg->u32_max_value) { in deduce_bounds_32_from_32()
2087 reg->s32_min_value = max_t(s32, reg->s32_min_value, reg->u32_min_value); in deduce_bounds_32_from_32()
2095 reg->u32_min_value = max_t(u32, reg->s32_min_value, reg->u32_min_value); in deduce_bounds_32_from_32()
[all …]
|
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 129 u32 u32_min_value; /* minimum possible (u32)value */ member
|