kernel/bpf/log.c

575

{"smax", reg_smax(reg), reg_smax(reg) == S64_MAX},

kernel/bpf/verifier.c

13481

(reg_smin(off_reg) < 0) != (reg_smax(off_reg) < 0))

kernel/bpf/verifier.c

13675

s64 smin_val = reg_smin(off_reg), smax_val = reg_smax(off_reg);

kernel/bpf/verifier.c

13923

s64 smax = reg_smax(dst_reg);

kernel/bpf/verifier.c

13935

check_mul_overflow(smin, reg_smax(src_reg), &tmp_prod[1]) ||

kernel/bpf/verifier.c

13937

check_mul_overflow(smax, reg_smax(src_reg), &tmp_prod[3])) {

kernel/bpf/verifier.c

14014

s64 smax = reg_smax(dst_reg);

kernel/bpf/verifier.c

14146

if (reg_smin(dst_reg) >= -res_max_abs && reg_smax(dst_reg) <= res_max_abs)

kernel/bpf/verifier.c

14151

reg_set_srange64(dst_reg, 0, min(reg_smax(dst_reg), res_max_abs));

kernel/bpf/verifier.c

14152

} else if (reg_smax(dst_reg) <= 0) {

kernel/bpf/verifier.c

14448

reg_smax(dst_reg) >> umin_val);

kernel/bpf/verifier.c

14522

&& reg_smin(src_reg) == reg_smax(src_reg)

kernel/bpf/verifier.c

14566

if (reg_smin(dst_reg) == -1 && reg_smax(dst_reg) == 0)

kernel/bpf/verifier.c

15234

s64 smax1 = is_jmp32 ? (s64)reg_s32_max(reg1) : reg_smax(reg1);

kernel/bpf/verifier.c

15238

s64 smax2 = is_jmp32 ? (s64)reg_s32_max(reg2) : reg_smax(reg2);

kernel/bpf/verifier.c

15637

cnum64_intersect_with_srange(&reg1->r64, S64_MIN, reg_smax(reg2));

kernel/bpf/verifier.c

15646

cnum64_intersect_with_srange(&reg1->r64, S64_MIN, reg_smax(reg2) - 1);

kernel/bpf/verifier.c

2188

min_t(s64, reg_smax(reg), s32_max));

kernel/bpf/verifier.c

352

if (reg_smax(reg) < S64_MAX) {

kernel/bpf/verifier.c

353

verbose(env, " smax=%lld", reg_smax(reg));

kernel/bpf/verifier.c

3602

max_off = reg_smax(ptr_reg) + off + size;

kernel/bpf/verifier.c

3938

max_off = reg_smax(reg) + off;

kernel/bpf/verifier.c

5464

top_smax_value = ((u64)reg_smax(reg) >> num_bits) << num_bits;

kernel/bpf/verifier.c

5472

init_s64_max = (s8)reg_smax(reg);

kernel/bpf/verifier.c

5475

init_s64_max = (s16)reg_smax(reg);

kernel/bpf/verifier.c

5478

init_s64_max = (s32)reg_smax(reg);

kernel/bpf/verifier.c

6005

if (reg_smax(reg) >= BPF_MAX_VAR_OFF ||

kernel/bpf/verifier.c

6012

max_off = reg_smax(reg) + off + access_size;

kernel/bpf/verifier.c

6652

max_off = reg_smax(reg) + off;

kernel/bpf/verifier.c

9714

return range.minval <= reg_smin(reg) && reg_smax(reg) <= range.maxval;