Searched refs:reg_smax (Results 1 – 3 of 3) sorted by relevance
575 {"smax", reg_smax(reg), reg_smax(reg) == S64_MAX}, in print_scalar_ranges()
338 if (reg_smax(reg) < S64_MAX) { in verbose_invalid_scalar()339 verbose(env, " smax=%lld", reg_smax(reg)); in verbose_invalid_scalar()2219 min_t(s64, reg_smax(reg), s32_max)); in __mark_reg_s32_range()3669 max_off = reg_smax(ptr_reg) + off + size; in check_stack_write_var_off()4052 max_off = reg_smax(reg) + off; in check_stack_read_var_off()5669 top_smax_value = ((u64)reg_smax(reg) >> num_bits) << num_bits; in coerce_reg_to_size_sx()5677 init_s64_max = (s8)reg_smax(reg); in coerce_reg_to_size_sx()5680 init_s64_max = (s16)reg_smax(reg); in coerce_reg_to_size_sx()5683 init_s64_max = (s32)reg_smax(reg); in coerce_reg_to_size_sx()6216 if (reg_smax(reg) >= BPF_MAX_VAR_OFF || in check_stack_access_within_bounds()[all …]
174 static inline s64 reg_smax(const struct bpf_reg_state *reg) in reg_smax() function