Home
last modified time | relevance | path

Searched refs:reg_smin (Results 1 – 3 of 3) sorted by relevance

/linux/kernel/bpf/
H A Dverifier.c334 if (reg_smin(reg) > S64_MIN) { in verbose_invalid_scalar()
335 verbose(env, " smin=%lld", reg_smin(reg)); in verbose_invalid_scalar()
359 if (reg_smin(reg) <= -BPF_MAX_VAR_OFF || reg_smax(reg) >= BPF_MAX_VAR_OFF) in reg_not_null()
2229 max_t(s64, reg_smin(reg), s32_min), in __mark_reg_s32_range()
3682 min_off = reg_smin(ptr_reg) + off; in check_stack_write_var_off()
4065 min_off = reg_smin(reg) + off; in check_stack_read_var_off()
4305 map->value_size, reg_smin(reg) + off, size); in check_map_access_type()
4311 map->value_size, reg_smin(reg) + off, size); in check_map_access_type()
4376 if (reg_smin(reg) < 0 && in check_mem_region_access()
4377 (reg_smin(re in check_mem_region_access()
[all...]
H A Dlog.c574 {"smin", reg_smin(reg), reg_smin(reg) == S64_MIN}, in print_scalar_ranges()
/linux/include/linux/
H A Dbpf_verifier.h170 static inline s64 reg_smin(const struct bpf_reg_state *reg) in reg_smin() function