Searched refs:s32_max_value (Results 1 – 2 of 2) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 1767 reg->s32_max_value = (s32)imm; in ___mark_reg_known()
1789 reg->s32_max_value = (s32)imm; in __mark_reg32_known()
1911 reg->s32_max_value = S32_MAX; in __mark_reg_unbounded()
1927 reg->s32_max_value = S32_MAX; in __mark_reg32_unbounded()
1952 reg->s32_max_value = min_t(s32, reg->s32_max_value, in __update_reg32_bounds()
2041 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->umax_value); in deduce_bounds_32_from_64()
2053 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->smax_value); in deduce_bounds_32_from_64()
2072 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->umax_value); in deduce_bounds_32_from_64()
2077 reg->s32_max_value = min_t(s32, reg->s32_max_value, (s32)reg->smax_value); in deduce_bounds_32_from_64()
2088 reg->s32_max_value = min_t(s32, reg->s32_max_value, reg->u32_max_value); in deduce_bounds_32_from_32()
[all …]
|
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 128 s32 s32_max_value; /* maximum possible (s32)value */ member
|