Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c add_scalar_to_reg() -> scalar_min_max_add()

Type Parameter Key Value
PARAM_VALUE 0 dst_reg 4096-ptr_max
PARAM_VALUE 1 src_reg 2999626800673837056
DATA_SOURCE 0 dst_reg $0
NOCHECK_CALL

kernel/bpf/verifier.c adjust_scalar_min_max_vals() -> scalar_min_max_add()

Type Parameter Key Value
PARAM_VALUE 0 dst_reg 4096-ptr_max
PARAM_VALUE 1 src_reg 4096-ptr_max
DATA_SOURCE 0 dst_reg $2
NOCHECK_CALL

kernel/bpf/verifier.c sync_linked_regs() -> scalar_min_max_add()

Type Parameter Key Value
PARAM_VALUE 0 dst_reg 4096-ptr_max
PARAM_VALUE 1 src_reg 705466650325528576
BUF_SIZE 0 dst_reg (-1),80
BUF_SIZE 0 dst_reg (-1),80
NOCHECK_CALL