drivers/net/ethernet/netronome/nfp/bpf/verifier.c

565

meta->umax_src = max(meta->umax_src, reg_umax(sreg));

drivers/net/ethernet/netronome/nfp/bpf/verifier.c

567

meta->umax_dst = max(meta->umax_dst, reg_umax(dreg));

kernel/bpf/log.c

577

{"umax", reg_umax(reg), reg_umax(reg) == U64_MAX},

kernel/bpf/verifier.c

10312

if (cur_func(env)->callback_depth < reg_umax(&regs[BPF_REG_1])) {

kernel/bpf/verifier.c

13373

ptr_limit = mask_to_left ? reg_smin(ptr_reg) : reg_umax(ptr_reg);

kernel/bpf/verifier.c

13676

u64 umin_val = reg_umin(off_reg), umax_val = reg_umax(off_reg);

kernel/bpf/verifier.c

13925

u64 umax = reg_umax(dst_reg);

kernel/bpf/verifier.c

13928

if (check_mul_overflow(umax, reg_umax(src_reg), &umax) ||

kernel/bpf/verifier.c

13968

div64_u64(reg_umax(dst_reg), src_val));

kernel/bpf/verifier.c

14075

if (reg_umax(dst_reg) <= res_max)

kernel/bpf/verifier.c

14078

reg_set_urange64(dst_reg, 0, min(reg_umax(dst_reg), res_max));

kernel/bpf/verifier.c

14188

u64 umax_val = reg_umax(src_reg);

kernel/bpf/verifier.c

14200

min(reg_umax(dst_reg), umax_val));

kernel/bpf/verifier.c

14333

if (reg_umax(dst_reg) > 1ULL << (63 - umax_val))

kernel/bpf/verifier.c

14337

reg_umax(dst_reg) << umax_val);

kernel/bpf/verifier.c

14345

u64 umax_val = reg_umax(src_reg);

kernel/bpf/verifier.c

14390

u64 umax_val = reg_umax(src_reg);

kernel/bpf/verifier.c

14409

reg_umax(dst_reg) >> umin_val);

kernel/bpf/verifier.c

14523

&& reg_umin(src_reg) == reg_umax(src_reg))

kernel/bpf/verifier.c

14553

return (src_is_const && reg_umax(src_reg) < insn_bitness);

kernel/bpf/verifier.c

14857

u64 dst_umax = reg_umax(dst_reg);

kernel/bpf/verifier.c

14999

no_sext = reg_umax(src_reg) < (1ULL << (insn->off - 1));

kernel/bpf/verifier.c

15034

bool no_sext = reg_umax(src_reg) < (1ULL << (insn->off - 1));

kernel/bpf/verifier.c

15116

if (reg_umax(dst_reg) == 0 && range_right_open)

kernel/bpf/verifier.c

15120

if (reg_umax(dst_reg) > MAX_PACKET_OFF)

kernel/bpf/verifier.c

15126

new_range = reg_umax(dst_reg);

kernel/bpf/verifier.c

15232

u64 umax1 = is_jmp32 ? (u64)reg_u32_max(reg1) : reg_umax(reg1);

kernel/bpf/verifier.c

15236

u64 umax2 = is_jmp32 ? (u64)reg_u32_max(reg2) : reg_umax(reg2);

kernel/bpf/verifier.c

15619

cnum64_intersect_with_urange(&reg1->r64, 0, reg_umax(reg2));

kernel/bpf/verifier.c

15628

cnum64_intersect_with_urange(&reg1->r64, 0, reg_umax(reg2) - 1);

kernel/bpf/verifier.c

17150

u64 max_index = reg_umax(reg);

kernel/bpf/verifier.c

17158

verbose(env, "the sum of R%u umax_value %llu is too big\n", regno, reg_umax(reg));

kernel/bpf/verifier.c

2012

if (umin_in_tnum && tnum_next > reg_umax(reg)) {

kernel/bpf/verifier.c

2025

} else if (!umin_in_tnum && tnum_next <= reg_umax(reg) &&

kernel/bpf/verifier.c

2026

tnum_step(reg->var_off, tnum_next) > reg_umax(reg)) {

kernel/bpf/verifier.c

2063

reg_umax(reg)));

kernel/bpf/verifier.c

3409

return fls64(reg_umax(reg));

kernel/bpf/verifier.c

4234

if (reg_umax(reg) >= BPF_MAX_VAR_OFF) {

kernel/bpf/verifier.c

4239

err = __check_mem_access(env, reg, argno, reg_umax(reg) + off, size,

kernel/bpf/verifier.c

4568

p < reg_umax(reg) + off + size) {

kernel/bpf/verifier.c

4670

off + reg_umax(reg) + size - 1);

kernel/bpf/verifier.c

4731

off += reg_umax(reg);

kernel/bpf/verifier.c

5411

if ((reg_umin(reg) & ~mask) == (reg_umax(reg) & ~mask))

kernel/bpf/verifier.c

5412

reg_set_urange64(reg, reg_umin(reg) & mask, reg_umax(reg) & mask);

kernel/bpf/verifier.c

6808

if (env->prog->aux->max_ctx_offset < reg_umax(reg) + access_size)

kernel/bpf/verifier.c

6809

env->prog->aux->max_ctx_offset = reg_umax(reg) + access_size;

kernel/bpf/verifier.c

6848

meta->msize_max_value = reg_umax(size_reg);

kernel/bpf/verifier.c

6866

reg_arg_name(env, size_argno), reg_umin(size_reg), reg_umax(size_reg));

kernel/bpf/verifier.c

6870

if (reg_umax(size_reg) >= BPF_MAX_VAR_SIZ) {

kernel/bpf/verifier.c

6875

err = check_helper_mem_access(env, mem_reg, mem_argno, reg_umax(size_reg),