Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c __mark_reg_s32_range() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin (-4095)-s32max
PARAM_VALUE 2 smax s32min-1
CAPPED_DATA 2 smax 1
NOCHECK_CALL

kernel/bpf/verifier.c coerce_reg_to_size_sx() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
CAPPED_DATA 1 smin 1
DATA_SOURCE 0 reg $0
PARAM_COMPARE 1 smin <= $2
PARAM_COMPARE 2 smax >= $1
NOCHECK_CALL

kernel/bpf/verifier.c coerce_subreg_to_size_sx() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
DATA_SOURCE 0 reg $0
NOCHECK_CALL
UNITS 1 smin unit_byte
UNITS 2 smax unit_byte

kernel/bpf/verifier.c coerce_subreg_to_size_sx() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin s16min-s16max
PARAM_VALUE 2 smax s16min-s16max
CAPPED_DATA 1 smin 1
DATA_SOURCE 0 reg $0
PARAM_COMPARE 1 smin <= $2
PARAM_COMPARE 2 smax >= $1
NOCHECK_CALL

kernel/bpf/verifier.c do_refine_retval_range() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin (-4095)
PARAM_VALUE 2 smax 0
BUF_SIZE 0 reg 880
BUF_SIZE 0 reg 880
NOCHECK_CALL

kernel/bpf/verifier.c do_refine_retval_range() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin (-4095),0
PARAM_VALUE 2 smax 0-1
BUF_SIZE 0 reg 880
BUF_SIZE 0 reg 880
FUZZY_MAX 2 smax 0
NOCHECK_CALL

kernel/bpf/verifier.c scalar32_min_max_arsh() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin 1-s32max
PARAM_VALUE 2 smax 1-s32max
DATA_SOURCE 0 reg $0
NOCHECK_CALL

kernel/bpf/verifier.c scalar32_min_max_sdiv() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
CAPPED_DATA 1 smin 1
DATA_SOURCE 0 reg $0
PARAM_COMPARE 1 smin <= $2
PARAM_COMPARE 2 smax >= $1
NOCHECK_CALL

kernel/bpf/verifier.c scalar32_min_max_smod() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin 0
CAPPED_DATA 2 smax 1
DATA_SOURCE 0 reg $0
NOCHECK_CALL

kernel/bpf/verifier.c scalar32_min_max_smod() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin (-2147483647)-s32max
PARAM_VALUE 2 smax 0
DATA_SOURCE 0 reg $0
NOCHECK_CALL

kernel/bpf/verifier.c scalar32_min_max_smod() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin (-2147483647)-s32max
DATA_SOURCE 0 reg $0
NOCHECK_CALL

kernel/bpf/verifier.c set_sext32_default_val() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin (-128)
PARAM_VALUE 2 smax 127
DATA_SOURCE 0 reg $0
NOCHECK_CALL

kernel/bpf/verifier.c set_sext32_default_val() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin s16min
PARAM_VALUE 2 smax s16max
DATA_SOURCE 0 reg $0
NOCHECK_CALL

kernel/bpf/verifier.c set_sext64_default_val() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin (-128)
PARAM_VALUE 2 smax 127
DATA_SOURCE 0 reg $0
NOCHECK_CALL

kernel/bpf/verifier.c set_sext64_default_val() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin s16min
PARAM_VALUE 2 smax s16max
DATA_SOURCE 0 reg $0
NOCHECK_CALL

kernel/bpf/verifier.c set_sext64_default_val() -> reg_set_srange32()

Type Parameter Key Value
PARAM_VALUE 0 reg 4096-ptr_max
PARAM_VALUE 1 smin s32min
PARAM_VALUE 2 smax s32max
DATA_SOURCE 0 reg $0
NOCHECK_CALL