Lines Matching refs:range
414 struct tnum *range, const char *ctx, in verbose_invalid_scalar() argument
426 tnum_strn(tn_buf, sizeof(tn_buf), *range); in verbose_invalid_scalar()
892 verbose_a("r=%d", reg->range); in print_verifier_state()
4189 err = reg->range < 0 ? -EINVAL : in check_packet_access()
4190 __check_mem_access(env, regno, off, size, reg->range, in check_packet_access()
6860 reg->range = BEYOND_PKT_END; in mark_pkt_end()
6862 reg->range = AT_PKT_END; in mark_pkt_end()
7258 struct tnum range = callee->callback_ret_range; in prepare_func_exit() local
7271 if (!tnum_in(range, r0->var_off)) { in prepare_func_exit()
7272 verbose_invalid_scalar(env, r0, &range, "callback return", "R0"); in prepare_func_exit()
9775 reg->range = max(reg->range, new_range); in find_good_pkt_pointers()
9996 if (pkt->range >= 0) in is_pkt_ptr_branch_taken()
10005 if (pkt->range == BEYOND_PKT_END) in is_pkt_ptr_branch_taken()
10014 if (pkt->range == BEYOND_PKT_END || pkt->range == AT_PKT_END) in is_pkt_ptr_branch_taken()
10814 struct tnum range = tnum_range(0, 1), const_0 = tnum_const(0); in check_return_code() local
10886 range = tnum_range(1, 1); in check_return_code()
10889 range = tnum_range(0, 3); in check_return_code()
10893 range = tnum_range(0, 3); in check_return_code()
10906 range = tnum_const(0); in check_return_code()
10912 range = tnum_const(0); in check_return_code()
10924 range = tnum_range(SK_DROP, SK_PASS); in check_return_code()
10938 range = tnum_range(1, 1); in check_return_code()
10956 if (!tnum_in(range, reg->var_off)) { in check_return_code()
10957 verbose_invalid_scalar(env, reg, &range, "program exit", "R0"); in check_return_code()
11871 if (rold->range > rcur->range) in regsafe()