Searched refs:reg_smin (Results 1 – 3 of 3) sorted by relevance
| /linux/kernel/bpf/ |
| H A D | verifier.c | 334 if (reg_smin(reg) > S64_MIN) { in verbose_invalid_scalar()
335 verbose(env, " smin=%lld", reg_smin(reg)); in verbose_invalid_scalar()
2218 max_t(s64, reg_smin(reg), s32_min), in __mark_reg_s32_range()
3668 min_off = reg_smin(ptr_reg) + off; in check_stack_write_var_off()
4051 min_off = reg_smin(reg) + off; in check_stack_read_var_off()
4282 map->value_size, reg_smin(reg) + off, size); in check_map_access_type()
4288 map->value_size, reg_smin(reg) + off, size); in check_map_access_type()
4353 if (reg_smin(reg) < 0 && in check_mem_region_access()
4354 (reg_smin(reg) == S64_MIN || in check_mem_region_access()
4355 (off + reg_smin(reg) != (s64)(s32)(off + reg_smin(reg))) || in check_mem_region_access()
[all …]
|
| H A D | log.c | 574 {"smin", reg_smin(reg), reg_smin(reg) == S64_MIN}, in print_scalar_ranges()
|
| /linux/include/linux/ |
| H A D | bpf_verifier.h | 169 static inline s64 reg_smin(const struct bpf_reg_state *reg) in reg_smin() function
|