kernel/bpf/log.c

574

{"smin", reg_smin(reg), reg_smin(reg) == S64_MIN},

kernel/bpf/verifier.c

13302

s64 smin = reg_smin(reg);

kernel/bpf/verifier.c

13331

s64 smin = reg_smin(reg);

kernel/bpf/verifier.c

13373

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

kernel/bpf/verifier.c

13462

bool off_is_neg = reg_smin(off_reg) < 0;

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

13922

s64 smin = reg_smin(dst_reg);

kernel/bpf/verifier.c

13934

if (check_mul_overflow(smin, reg_smin(src_reg), &tmp_prod[0]) ||

kernel/bpf/verifier.c

13936

check_mul_overflow(smax, reg_smin(src_reg), &tmp_prod[2]) ||

kernel/bpf/verifier.c

14013

s64 smin = reg_smin(dst_reg);

kernel/bpf/verifier.c

14015

s64 src_val = reg_smin(src_reg); /* non-zero, const divisor */

kernel/bpf/verifier.c

14126

s64 src_val = reg_smin(src_reg); /* non-zero, const divisor */

kernel/bpf/verifier.c

14146

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

kernel/bpf/verifier.c

14150

if (reg_smin(dst_reg) >= 0) {

kernel/bpf/verifier.c

14153

reg_set_srange64(dst_reg, max(reg_smin(dst_reg), -res_max_abs), 0);

kernel/bpf/verifier.c

14447

reg_set_srange64(dst_reg, reg_smin(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

15233

s64 smin1 = is_jmp32 ? (s64)reg_s32_min(reg1) : reg_smin(reg1);

kernel/bpf/verifier.c

15237

s64 smin2 = is_jmp32 ? (s64)reg_s32_min(reg2) : reg_smin(reg2);

kernel/bpf/verifier.c

15638

cnum64_intersect_with_srange(&reg2->r64, reg_smin(reg1), S64_MAX);

kernel/bpf/verifier.c

15647

cnum64_intersect_with_srange(&reg2->r64, reg_smin(reg1) + 1, S64_MAX);

kernel/bpf/verifier.c

2187

max_t(s64, reg_smin(reg), s32_min),

kernel/bpf/verifier.c

348

if (reg_smin(reg) > S64_MIN) {

kernel/bpf/verifier.c

349

verbose(env, " smin=%lld", reg_smin(reg));

kernel/bpf/verifier.c

3601

min_off = reg_smin(ptr_reg) + off;

kernel/bpf/verifier.c

3937

min_off = reg_smin(reg) + off;

kernel/bpf/verifier.c

4146

map->value_size, reg_smin(reg) + off, size);

kernel/bpf/verifier.c

4152

map->value_size, reg_smin(reg) + off, size);

kernel/bpf/verifier.c

4214

if (reg_smin(reg) < 0 &&

kernel/bpf/verifier.c

4215

(reg_smin(reg) == S64_MIN ||

kernel/bpf/verifier.c

4216

(off + reg_smin(reg) != (s64)(s32)(off + reg_smin(reg))) ||

kernel/bpf/verifier.c

4217

reg_smin(reg) + off < 0)) {

kernel/bpf/verifier.c

4222

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

kernel/bpf/verifier.c

4267

if (reg_smin(reg) < 0) {

kernel/bpf/verifier.c

4567

if (reg_smin(reg) + off < p + field->size &&

kernel/bpf/verifier.c

4770

if (reg_smin(reg) < 0) {

kernel/bpf/verifier.c

5465

top_smin_value = ((u64)reg_smin(reg) >> num_bits) << num_bits;

kernel/bpf/verifier.c

5473

init_s64_min = (s8)reg_smin(reg);

kernel/bpf/verifier.c

5476

init_s64_min = (s16)reg_smin(reg);

kernel/bpf/verifier.c

5479

init_s64_min = (s32)reg_smin(reg);

kernel/bpf/verifier.c

6006

reg_smin(reg) <= -BPF_MAX_VAR_OFF) {

kernel/bpf/verifier.c

6011

min_off = reg_smin(reg) + off;

kernel/bpf/verifier.c

6651

min_off = reg_smin(reg) + off;

kernel/bpf/verifier.c

6858

if (reg_smin(size_reg) < 0) {

kernel/bpf/verifier.c

9714

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